Kiyatkin Vladimir Rostislavich

Publications in Math-Net.Ru

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