Categories of frames for modal logic

Journal of Symbolic Logic 40 (3):439-442 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272167

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,891

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Thomason S. K.. Noncompactness in propositional modal logic.R. A. Bull - 1983 - Journal of Symbolic Logic 48 (2):488-495.
Duality between modal algebras and neighbourhood frames.Kosta Došen - 1989 - Studia Logica 48 (2):219 - 234.
S. K. Thomason. Noncompactness in propositional modal logic. The journal of symbolic logic, vol. 37 no. 4 , pp. 716–720. - Kit Fine. An incomplete logic containing S4. Theoria, vol. 40 , pp. 23–29. - S. K. Thomason. An incompleteness theorem in modal logic. Theoria, vol. 40 , pp. 30–34. - Martin Gerson. The inadequacy of the neighbourhood semantics for modal logic. The journal of symbolic logic, vol. 40 , pp. 141–148. - Martin Sebastian Gerson. An extension of S4 complete for the neighbourhood semantics but incomplete for the relational semantics. Studio logica, vol. 34 , pp. 333–342. - Martin Gerson. A neighbourhood frame for T with no equivalent relational frame. Zeitschrift für mathematische Logik und Grundlugen der Mathematik, vol. 22 , pp. 29–34. - V. B. Šehtman. On incomplete propositional logics. Soviet mathematics, vol. 18 , pp. 985–989. , pp. 542–545.) - J. F. A. K. van Benthem. Two simple incomplete modal logics. Theoria, vol. 44 , pp. 25–37. - J. F. A. K. van Benthem and W. [REVIEW]R. A. Bull - 1983 - Journal of Symbolic Logic 48 (2):488-495.
On axiomatising products of Kripke frames.Ágnes Kurucz - 2000 - Journal of Symbolic Logic 65 (2):923-945.
On Axiomatising Products of Kripke Frames.Agnes Kurucz - 2000 - Journal of Symbolic Logic 65 (2):923-945.
Canonical modal logics and ultrafilter extensions.J. F. A. K. van Benthem - 1979 - Journal of Symbolic Logic 44 (1):1-8.
A simplified embedding of E into monomodal K.Rohan French - 2009 - Logic Journal of the IGPL 17 (4):421-428.
Branching-time logic with quantification over branches: The point of view of modal logic.Alberto Zanardo - 1996 - Journal of Symbolic Logic 61 (1):1-39.
Barwise's information frames and modal logics.Vladimir V. Rybakov - 2003 - Archive for Mathematical Logic 42 (3):261-277.
First-Order Modal Logic: Frame Definability and a Lindström Theorem.R. Zoghifard & M. Pourmahdian - 2018 - Studia Logica 106 (4):699-720.

Analytics

Added to PP
2009-01-28

Downloads
34 (#458,073)

6 months
13 (#277,191)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Mathematical modal logic: A view of its evolution.Robert Goldblatt - 2003 - Journal of Applied Logic 1 (5-6):309-392.
A Sahlqvist theorem for distributive modal logic.Mai Gehrke, Hideo Nagahashi & Yde Venema - 2004 - Annals of Pure and Applied Logic 131 (1-3):65-102.
Topology and duality in modal logic.Giovanni Sambin & Virginia Vaccaro - 1988 - Annals of Pure and Applied Logic 37 (3):249-296.
Complete additivity and modal incompleteness.Wesley H. Holliday & Tadeusz Litak - 2019 - Review of Symbolic Logic 12 (3):487-535.

View all 14 citations / Add more citations

References found in this work

Lectures on Boolean Algebras.Paul R. Halmos - 1966 - Journal of Symbolic Logic 31 (2):253-254.

Add more references