A Descending Chain of Incomplete Extensions of Implicational S 5

DOI10.1002/MALQ.19850311303MaRDI QIDQ3698776zbMATH OpenOpenAlexFDO

Authors Dolph Ulrich

Publication date 1985

Published in Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19850311303

zbMATH Keywords

axiom systemscharacteristic matrixincompletenessmodal logicstrict implicational fragment C5 of S5strict implicational propositional logic

Mathematics Subject Classification ID

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

Recommendations

• ON THE INCOMPLETENESS OF A DESCENDING CHAIN OF EXTENSIONS OF IMPLICATIONAL S5
• Carnapian extensions of S5
• scientific article; zbMATH DE number 4164805
• Some descending chains of incomplete modal logics
• The extensions of the modal logic K5

Cited in

(4)

• Shortest axiomatizations of implicational S4 and S5
• scientific article; zbMATH DE number 4164805 (Why is no real title available?)
• ON THE INCOMPLETENESS OF A DESCENDING CHAIN OF EXTENSIONS OF IMPLICATIONAL S5
• For Want of an ‘And’: A Puzzle about Non-Conservative Extension

This page was built for publication: A Descending Chain of Incomplete Extensions of Implicational S 5

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