Strict Implication in A Sequence of Extensions of S4

DOI10.1002/MALQ.19810271304zbMath0465.03008OpenAlexW2053297384MaRDI QIDQ3916551

Ulrich Dolph

Publication date: 1981

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

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

zbMATH Keywords

modal logicstrict implicational fragment

Mathematics Subject Classification ID

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

Related Items (3)

Shortest axiomatizations of implicational S4 and S5 ⋮ Single Axioms and Axiom-Pairs for the Implicational Fragments of $$\mathbf {R}$$ R , R-Mingle, and Some Related Systems ⋮ Meeting of the Association for Symbolic Logic Florence, Italy 1982

This page was built for publication: Strict Implication in A Sequence of Extensions of S4