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

DOI10.1215/00294527-2022-0029MaRDI QIDQ2108580zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Monotonic modal logics related to the von Wright's logic of place
• Monotonic modal logics with a conjunction
• Modal logics with the MacIntosh rule
• Modal bilattice logic and its extensions
• scientific article; zbMATH DE number 4135914

Cites work

• scientific article; zbMATH DE number 6609010 (Why is no real title available?)
• scientific article; zbMATH DE number 3150809 (Why is no real title available?)
• scientific article; zbMATH DE number 5295715 (Why is no real title available?)
• scientific article; zbMATH DE number 5316611 (Why is no real title available?)
• scientific article; zbMATH DE number 4055579 (Why is no real title available?)
• scientific article; zbMATH DE number 3733876 (Why is no real title available?)
• scientific article; zbMATH DE number 3771571 (Why is no real title available?)
• scientific article; zbMATH DE number 45458 (Why is no real title available?)
• scientific article; zbMATH DE number 3591947 (Why is no real title available?)
• scientific article; zbMATH DE number 1406807 (Why is no real title available?)
• scientific article; zbMATH DE number 3260754 (Why is no real title available?)
• scientific article; zbMATH DE number 3299687 (Why is no real title available?)
• scientific article; zbMATH DE number 3084370 (Why is no real title available?)
• 2-element matrices
• A note on Hallden-incompleteness
• A warning about the choice of primitive operators in modal logic
• Bimodal logics with contingency and accident
• CAPTURING CONSEQUENCE
• Classical negation can be expressed by one of its halves
• Common Logic of 2‐Valued Semigroup Connectives
• David Makinson on classical methods for non-classical problems
• Deducibility and many-valuedness
• Distances between formal theories
• Embeddings of propositional monomodal logics
• Fregean logics
• Glymour and Quine on theoretical equivalence
• Mutual definability does not imply definitional equivalence, a simple example
• Neighborhood semantics for modal logic
• Notational variance and its variants
• Note on deducibility and many-valuedness
• Note on extending congruential modal logics
• Notes on Some Ideas in Lloyd Humberstone’s Philosophical Applications of Modal Logic
• On generalization of definitional equivalence to non-disjoint languages
• On the concept of a notational variant
• On translating between logics
• Post completeness in congruential modal logics
• Replacement in logic
• Singulary extensional connectives: A closer look
• Some embedding theorems for modal logic
• Synonymous logics
• Synonymous logics: a correction
• The Logic in Philosophy of Science
• The connectives
• The lattice of extensional connectives: A correction
• The mathematics of language
• The problem of reconstructability of propositional calculi
• Theory of logical calculi. Basic theory of consequence operations
• Twins in logic -- identical and otherwise
• Uniform definability in propositional dependence logic

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)