Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics

DOI10.1215/00294527-2022-0029OpenAlexW4311895322MaRDI QIDQ2108580

Lloyd Humberstone, Steven T. Kuhn

Publication date: 19 December 2022

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-63/issue-4/Modal-Logics-That-Are-Both-Monotone-and-Antitone-Makinsons/10.1215/00294527-2022-0029.full

zbMATH Keywords

modal logictranslationsclassical propositional logicconsequence relationstranslational embeddingsequivalence between logicsextensional logicsMakinsonnotational variance

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Classical propositional logic (03B05) Relative consistency and interpretations (03F25)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fregean logics
• 2-element matrices
• Theory of logical calculi. Basic theory of consequence operations
• Singulary extensional connectives: A closer look
• Synonymous logics
• On the concept of a notational variant
• The lattice of extensional connectives: A correction
• Replacement in logic
• Notational variance and its variants
• On generalization of definitional equivalence to non-disjoint languages
• Glymour and Quine on theoretical equivalence
• Neighborhood semantics for modal logic
• Bimodal logics with contingency and accident
• David Makinson on classical methods for non-classical problems
• Synonymous logics: a correction
• A note on Hallden-incompleteness
• Some embedding theorems for modal logic
• The problem of reconstructability of propositional calculi
• A warning about the choice of primitive operators in modal logic
• Notes on Some Ideas in Lloyd Humberstone’s Philosophical Applications of Modal Logic
• Common Logic of 2‐Valued Semigroup Connectives
• Note on deducibility and many-valuedness
• Classical negation can be expressed by one of its halves
• Embeddings of propositional monomodal logics
• DISTANCES BETWEEN FORMAL THEORIES
• On translating between logics
• CAPTURING CONSEQUENCE
• Deducibility and many-valuedness
• Mutual definability does not imply definitional equivalence, a simple example
• UNIFORM DEFINABILITY IN PROPOSITIONAL DEPENDENCE LOGIC
• The Logic in Philosophy of Science
• Note on extending congruential modal logics

This page was built for publication: Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics