Note on extending congruential modal logics

DOI10.1215/00294527-3315588MaRDI QIDQ5963201zbMATH OpenOpenAlexFDO

Authors Lloyd Humberstone

Publication date 4 March 2016

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

Full work available at URL https://doi.org/10.1215/00294527-3315588

zbMATH Keywords

congruential modal logicsmodal logicneighborhood semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Review text

If \(A\) iff \(B\) implies \(\square A\) iff \(\square B\), then this modal logic is called congruential. The current paper studies some model theoretical properties of congruential modal logics. In particular, it studies under which conditions which formulae produce sublogics of identity logic, which is a system containing \(\square A\) iff \(A\) for any \(A\). This research agenda was initiated by \textit{D. Makinson} [Notre Dame J. Formal Logic 12, 252--254 (1971; Zbl 0193.29301); J. Philos. Log. 2, 193--196 (1973; Zbl 0266.02016)], and the current paper improves upon it.NEWLINENEWLINEThis digestible paper identifies various other formulas extending congruential logics which are sublogics of identity logic. The author achieves this by considering quite understudied models of modal logic, that is neighborhood models.

Recommendations

• A note on modal logic and possibility theory
• A note on graded modal logic
• Modal bilattice logic and its extensions
• scientific article; zbMATH DE number 218546
• scientific article; zbMATH DE number 4043819
• scientific article; zbMATH DE number 804146
• scientific article; zbMATH DE number 4135914
• scientific article; zbMATH DE number 1791673
• Conservative extensions in modal logic
• Notes on modal definability

Cited in

(12)

• Collapsing modalities
• A basic system of congruential-to-monotone bimodal logic and two of its extensions
• Extensionality in sentence position
• Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics
• Cluster expansion and the boxdot conjecture
• scientific article; zbMATH DE number 5864581 (Why is no real title available?)
• Hyperidentities and related concepts. I
• Hyperidentities and related concepts. II
• Post completeness in congruential modal logics
• For Want of an ‘And’: A Puzzle about Non-Conservative Extension
• On congruence modularity in varieties of logic.
• Deduction theorem in congruential modal logics

This page was built for publication: Note on extending congruential modal logics

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