Ganchukova Olga Vladimirovna

Publications in Math-Net.Ru

1. Admissible inference rules of temporal intransitive logic with the operator "tomorrow"
   
   J. Sib. Fed. Univ. Math. Phys., 17:3 (2024),  347–354