Author:
Bezhanishvili Nick,Hodkinson Ian
Publisher
Springer Science and Business Media LLC
Subject
Algebra and Number Theory
Reference18 articles.
1. Balbes R., Dwinger P.: Distributive Lattices. University of Missouri Press, Columbia (1974)
2. van Benthem J.: Modal Logic and Classical Logic. Bibliopolis, Naples (1985)
3. van Benthem J., Bezhanishvili N., Hodkinson I.: Sahlqvist correspondence for modal mu-calculus. Studia Logica 100, 31–60 (2012)
4. Bezhanishvili N., Hodkinson I.: Sahlqvist theorem for modal fixed point logic. Theoret. Comput. Sci. 424, 1–19 (2012)
5. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press (2001)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献