|
|
|
Publications in Math-Net.Ru |
Citations |
|
2024 |
| 1. |
Vladimir R. Kiyatkin, Vladimir V. Rybakov, “Interval multi-agent logic with reliability operator”, J. Sib. Fed. Univ. Math. Phys., 17:5 (2024), 679–683  |
|
2023 |
| 2. |
Vladimir V. Rybakov, Vladimir R. Kiyatkin, Konstantin V. Grekovich, “Formulas expressing totally nonstable truth values of formulas”, Bulletin of Irkutsk State University. Series Mathematics, 44 (2023), 108–115 |
|
2022 |
| 3. |
Vladimir R. Kiyatkin, Anna V. Kosheleva, “Satisfiability in a temporal multi-valueted logic based on $\mathbb{Z}$”, J. Sib. Fed. Univ. Math. Phys., 15:1 (2022), 56–74  |
|
2013 |
| 4. |
V. V. Rimatskii, V. R. Kiyatkin, “Independent bases for admissible rules of pretabular modal logic and its extensions”, Sib. Èlektron. Mat. Izv., 10 (2013), 79–89 |
5
|
|
2001 |
| 5. |
V. V. Rybakov, V. R. Kiyatkin, T. Oner, “Residual Finiteness for Admissible Inference Rules”, Algebra Logika, 40:5 (2001), 593–618  ; Algebra and Logic, 40:5 (2001), 334–347  |
1
|
|
2000 |
| 6. |
V. V. Rybakov, V. R. Kiyatkin, M. Terziler, “Independent bases for admissible rules in pretable logics”, Algebra Logika, 39:2 (2000), 206–226 ; Algebra and Logic, 39:2 (2000), 119–130 |
3
|
| 7. |
V. R. Kiyatkin, “Inference rules with metavariables, and logical equations in the pretabular modal logic PM1”, Sibirsk. Mat. Zh., 41:1 (2000), 88–97 ; Siberian Math. J., 41:1 (2000), 74–80  |
2
|
|
| Organisations |
|
| |
|
|
Contact us: