Some embedding theorems for modal logic

Notre Dame Journal of Formal Logic 12 (2):252-254 (1971)
  Copy   BIBTEX

Abstract

Some results on the upper end of the lattice of all modal propositional logics.

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093894226

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

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

A simplified embedding of E into monomodal K.Rohan French - 2009 - Logic Journal of the IGPL 17 (4):421-428.
On logics with coimplication.Frank Wolter - 1998 - Journal of Philosophical Logic 27 (4):353-387.
Categorial inference and modal logic.Natasha Kurtonina - 1998 - Journal of Logic, Language and Information 7 (4):399-411.
Displaying the modal logic of consistency.Heinrich Wansing - 1999 - Journal of Symbolic Logic 64 (4):1573-1590.
Kripke semantics for modal substructural logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
Embedding modal nonmonotonic logics into default logic.Robert Milnikel - 2003 - Studia Logica 75 (3):377 - 382.
Syntactical results on the arithmetical completeness of modal logic.Paolo Gentilini - 1993 - Studia Logica 52 (4):549 - 564.
A unified completeness theorem for quantified modal logics.Giovanna Corsi - 2002 - Journal of Symbolic Logic 67 (4):1483-1510.
Many-valued non-monotonic modal logics.Melvin Fitting - unknown
On variable separation in modal and superintuitionistic logics.Larisa Maksimova - 1995 - Studia Logica 55 (1):99 - 112.
Identity in modal logic theorem proving.Francis J. Pelletier - 1993 - Studia Logica 52 (2):291 - 308.
Modal logic over finite structures.Eric Rosen - 1997 - Journal of Logic, Language and Information 6 (4):427-439.
Minimally Congruential Contexts: Observations and Questions on Embedding E in K.Lloyd Humberstone - 2012 - Notre Dame Journal of Formal Logic 53 (4):581-598.

Analytics

Added to PP
2010-08-24

Downloads
35 (#443,848)

6 months
7 (#425,192)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

David Makinson
London School of Economics

Citations of this work

Modal logic with names.George Gargov & Valentin Goranko - 1993 - Journal of Philosophical Logic 22 (6):607 - 636.
Shifting Priorities: Simple Representations for Twenty-seven Iterated Theory Change Operators.Hans Rott - 2009 - In Jacek Malinowski David Makinson & Wansing Heinrich (eds.), Towards Mathematical Philosophy. Springer. pp. 269–296.
Mathematical modal logic: A view of its evolution.Robert Goldblatt - 2003 - Journal of Applied Logic 1 (5-6):309-392.
Properties of independently axiomatizable bimodal logics.Marcus Kracht & Frank Wolter - 1991 - Journal of Symbolic Logic 56 (4):1469-1485.

View all 48 citations / Add more citations

References found in this work

No references found.

Add more references