The diagrams of formulas of the modal propositional S4 calculus

DOI10.1007/BF02120833zbMath0279.02011MaRDI QIDQ1394220

Anita Wasilewska

Publication date: 1972

Published in: Studia Logica (Search for Journal in Brave)

Mathematics Subject Classification ID

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

Related Items (1)

The diagrams of formulas of the intuitionistic propositional calculus

Cites Work

• Untersuchungen über das logische Schliessen. I
• A formalization of the modal propositional S4 calculus
• Unnamed Item

This page was built for publication: The diagrams of formulas of the modal propositional S4 calculus