Topology and duality in modal logic
- 31 March 1988
- journal article
- other
- Published by Elsevier in Annals of Pure and Applied Logic
- Vol. 37 (3) , 249-296
- https://doi.org/10.1016/0168-0072(88)90021-8
Abstract
No abstract availableThis publication has 14 references indexed in Scilit:
- An incomplete system of modal logicJournal of Philosophical Logic, 1985
- A. H. Lachlan. A note on Thomason's refined structures for tense logics. Theoria, vol. 40(1974), pp. 117–120. - Kit Fine. Some connections between elementary and modal logic. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Ranger, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 1–14. - R. I. Goldblatt and S. K. Thomason. Axiomatic classes in propositional modal logic. Algebra and logic, Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia, edited by J. N. Crossley, Lecture notes in mathematics, vol. 450, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 163–173. - R. I. Goldblatt. First-order definability in modal logic. The journal of symbolic logic, vol. 40 (1975), pp. 35–40. - J. F. A. K. van Benthem. A note on modal formulae and relational properties. The journal of symbolic logic, vol. 40 (1975), pp. 55–58. - S. K. Thomason. Categories of frames for modal logic. The journal of symbolic logic, vol. 40 (1975), pp. 439–442. - R. I. Goldblatt. Metamathematics of modal logic. Part I. Reports on mathematical logic, vol. 6 (1976), pp. 41–77. - R. I. Goldblatt. Metamathematics of modal logic. Part II. Reports on mathematical logic, vol. 7 (1976), pp. 21–52. - J. F. A. K. van Benthem. Modal formulas are either elementary or not Σ⊿-elementary. The journal of symbolic logic, vol. 41 (1976), pp. 436–438. - J. F. A. K. van Benthem. Canonical modal logics and ultrafilter extensions. The journal of symbolic logic, vol. 44 (1979), pp. 1–8.The Journal of Symbolic Logic, 1982
- Some kinds of modal completenessStudia Logica, 1980
- Canonical modal logics and ultrafilter extensionsThe Journal of Symbolic Logic, 1979
- Two simple incomplete modal logicsTheoria, 1978
- An incomplete logic containing S4Theoria, 1974
- Algebraic semantics for modal logics IIThe Journal of Symbolic Logic, 1966
- Algebraic semantics for modal logics IThe Journal of Symbolic Logic, 1966
- Semantical Analysis of Modal Logic I Normal Modal Propositional CalculiMathematical Logic Quarterly, 1963
- Boolean Algebras with Operators. Part IAmerican Journal of Mathematics, 1951