Author:
Alechina Natasha,Balbiani Philippe,Shkatov Dmitry
Reference9 articles.
1. A Modal Perspective on Path Constraints
2. Alechina, N. & Shkatov, D. (2006). Logics with an existential modality. In G. Governatori, I. Hodkinson, & Y. Venema (Eds.),Advances in modal logic(Vol. 6, 31–46). College Publications.
3. PDL with intersection of programs: a complete axiomatization
4. Deterministic propositional dynamic logic: Finite models, complexity, and completeness
5. Modal Logic
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献