Kosheleva Anna Vladimirovna

Publications in Math-Net.Ru

1. Satisfiability in a temporal multi-valueted logic based on $\mathbb{Z}$
   
   J. Sib. Fed. Univ. Math. Phys., 15:1 (2022),  56–74
2. Projective formulas and unification in linear discrete temporal multi-agent logics
   
   Sib. Èlektron. Mat. Izv., 13 (2016),  923–929
3. Non-unifiability in linear temporal logic of knowledge with multi-agent relations
   
   Sib. Èlektron. Mat. Izv., 13 (2016),  656–663
4. Decidability of the Admissibility Problem for Inference Rules in Some $S5_t$-Logics
   
   Algebra Logika, 44:4 (2005),  438–458