Affiliation:
1. Department of Philosophy, Stockholm University, Stockholm, Sweden
Publisher
Oxford University Press (OUP)
Subject
Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science
Reference44 articles.
1. Cut-free completeness for modal mu-calculus;Bahareh,2017
2. Modal logics of space;van Benthem;Handbook of Spatial Logics,2007
3. Sahlqvist theorem for modal fixed point logic;Bezhanishvili;Theoretical Computer Science,2012
4. Modal Logic
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献