|
|
|
Publications in Math-Net.Ru |
Citations |
|
2022 |
| 1. |
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   |
|
2016 |
| 2. |
S. I. Bashmakov, A. V. Kosheleva, V. Rybakov, “Projective formulas and unification in linear discrete temporal multi-agent logics”, Sib. Èlektron. Mat. Izv., 13 (2016), 923–929   |
3
|
| 3. |
S. I. Bashmakov, A. V. Kosheleva, V. Rybakov, “Non-unifiability in linear temporal logic of knowledge with multi-agent relations”, Sib. Èlektron. Mat. Izv., 13 (2016), 656–663 |
2
|
|
2005 |
| 4. |
A. V. Kosheleva, “Decidability of the Admissibility Problem for Inference Rules in Some $S5_t$-Logics”, Algebra Logika, 44:4 (2005), 438–458  ; Algebra and Logic, 44:4 (2005), 243–255 |
|
Contact us: