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

DOI10.1215/00294527-2022-0029OpenAlexW4311895322MaRDI QIDQ2108580FDOQ2108580

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

consequence relationsmodal logicclassical propositional logictranslationstranslational embeddingsequivalence between logicsextensional logicsMakinsonnotational variance

Mathematics Subject Classification ID

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

Cites Work

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2108580)