Publisher
Springer Science and Business Media LLC
Reference12 articles.
1. Boolos, G., 1979,The Unprovability of Consistencey, Cambridge, Cambridge University Press.
2. Corsi, G. and Ghilardi, S., 1989, Directed frames.Archive for Mathematical Logic, Vol. 29, pp. 53?67.
3. Corsi, G. and Ghilardi, S., 1992, Semantical aspects of quantified modal logic.Knowledge, Belief and Strategic Action, Ed. C. Bicchieri and M. L. Dalla Chiara, Cambridge University Press, pp. 167?195.
4. Cresswell, M. J., 1987, Magari's theorem via the recession frame.Journal of Philosophical Logic, Vol. 16, pp. 13?15.
5. Ghilardi, S., 1991, Incompleteness results in Kripke semantics.The Journal of Symbolic Logic, Vol. 56, pp. 517?538.
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Quantified Modal Logics: One Approach to Rule (Almost) them All!;Journal of Philosophical Logic;2024-04-23
2. Modal Hyperdoctrine: Higher-Order and Non-normal Extensions;Lecture Notes in Computer Science;2024
3. Labelled calculi for quantified modal logics with definite descriptions;Journal of Logic and Computation;2021-04
4. Modal Logic;The Blackwell Guide to Philosophical Logic;2017-11-15
5. Logic;History of Philosophy in Australia and New Zealand;2014