Branching time agents' logic, satisfiability problem by rules in reduced form
V. V. Rybakov

Эта публикация цитируется в следующих статьяx:

1. V. V. Rybakov, “Multi-Agent Temporal Logics, Information, Unification, and Projectivity”, Algebra Logic, 2024  
2. Vladimir V. Rybakov, Vladimir R. Kiyatkin, Konstantin V. Grekovich, “Formulas expressing totally nonstable truth values of formulas”, Известия Иркутского государственного университета. Серия Математика, 44 (2023), 108–115    
3. В. В. Рыбаков, “Многоагентные временные логики, информация, унифицируемость и проективность”, Алгебра и логика, 62:3 (2023), 424–431    
4. Vladimir V. Rybakov, “Multi-agents' temporal logic using operations of static agents' knowledge”, Журн. СФУ. Сер. Матем. и физ., 15:1 (2022), 114–124    
5. В. В. Рыбаков, “Многоагентные логики с динамическими отношениями достижимости, проективные унификаторы”, Алгебра и логика, 61:1 (2022), 111–118    
6. V. V. Rybakov, “Multi-Agent Logics with Dynamic Accessibly Relations, Projective Unifiers”, Algebra Logic, 61:1 (2022), 79  
7. В. В. Рыбаков, “Логики ветвящегося времени с мультиагентными отношениями временной достижимости”, Сиб. матем. журн., 62:3 (2021), 619–628    ; V. V. Rybakov, “Branching time logics with multiagent temporal accessibility relations”, Siberian Math. J., 62:3 (2021), 503–510      
8. V. V. Rybakov, “Temporal Logic With Overlap Temporal Relations Generated By Time States Themselves”, Sib. Electron. Math. Rep., 17 (2020), 923–932