Deduction theorem in congruential modal logics

DOI10.1215/00294527-10670082OpenAlexW4382405530WikidataQ122617263 ScholiaQ122617263MaRDI QIDQ6165006

Unnamed Author

Publication date: 28 July 2023

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

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

zbMATH Keywords

modal logicabstract algebramodal algebralocal deduction theorem

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Abstract algebraic logic (03G27)

Cites Work

• Local deductions theorems
• Injectivity and congruence extension property in congruence distributive equational classes
• A deduction theorem schema for deductive systems of propositional logics
• The parameterized local deduction theorem for quasivarieties of algebras and its application
• Some embedding theorems for modal logic
• Algebraizable logics
• The lattice of modal logics: an algebraic investigation
• Algebras Whose Congruence Lattices are Distributive.
• Note on extending congruential modal logics
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Deduction theorem in congruential modal logics