Kiyatkin Vladimir Rostislavich

Publications in Math-Net.Ru

1. Interval multi-agent logic with reliability operator
   
   J. Sib. Fed. Univ. Math. Phys., 17:5 (2024),  679–683
2. Formulas expressing totally nonstable truth values of formulas
   
   Bulletin of Irkutsk State University. Series Mathematics, 44 (2023),  108–115
3. Satisfiability in a temporal multi-valueted logic based on $\mathbb{Z}$
   
   J. Sib. Fed. Univ. Math. Phys., 15:1 (2022),  56–74
4. Independent bases for admissible rules of pretabular modal logic and its extensions
   
   Sib. Èlektron. Mat. Izv., 10 (2013),  79–89
5. Residual Finiteness for Admissible Inference Rules
   
   Algebra Logika, 40:5 (2001),  593–618
6. Independent bases for admissible rules in pretable logics
   
   Algebra Logika, 39:2 (2000),  206–226
7. Inference rules with metavariables, and logical equations in the pretabular modal logic PM1
   
   Sibirsk. Mat. Zh., 41:1 (2000),  88–97