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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,561

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

Review: David Makinson, Some Embedding Theorems for Modal Logic. [REVIEW]S. K. Thomason - 1974 - Journal of Symbolic Logic 39 (2):351-351.
David Makinson. Some embedding theorems for modal logic. Notre Dame journal of formal logic, vol. 12 , pp. 252–254.S. K. Thomason - 1974 - Journal of Symbolic Logic 39 (2):351.
$\Varepsilon$-calculus based axiom systems for some propositional modal logics.Melvin Fitting - 1972 - Notre Dame Journal of Formal Logic 13 (3):381-384.
On some modal logics related to the Ł -modal system.Robert L. Wilson - 1976 - Notre Dame Journal of Formal Logic 17 (2):191-206.
The Embedding Theorem: Its Further Developments and Consequences. Part 1.Alexei Y. Muravitsky - 2006 - Notre Dame Journal of Formal Logic 47 (4):525-540.
Modal Logics That Are Both Monotone and Antitone: Makinson’s Extension Results and Affinities between Logics.Lloyd Humberstone & Steven T. Kuhn - 2022 - Notre Dame Journal of Formal Logic 63 (4):515-550.
Modal elaborations of propositional logics.Nicholas Rescher & Ruth Manor - 1972 - Notre Dame Journal of Formal Logic 13 (3):323-330.
Some modal logics based on a three-valued logic.Osamu Morikawa - 1988 - Notre Dame Journal of Formal Logic 30 (1):130-137.
On some models of modal logics.R. J. Baxter - 1973 - Notre Dame Journal of Formal Logic 14 (1):121-122.
Some remarks on weak modal logics.R. E. Jennings - 1981 - Notre Dame Journal of Formal Logic 22:309-314.

Analytics

Added to PP
2010-08-24

Downloads
48 (#442,814)

6 months
8 (#533,737)

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.
Mathematical modal logic: A view of its evolution.Robert Goldblatt - 2003 - Journal of Applied Logic 1 (5-6):309-392.
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.
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