A formalization of the modal propositional S4 calculus

DOI10.1007/BF02282568zbMath0286.02027MaRDI QIDQ1845872

Anita Wasilewska

Publication date: 1971

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

Mathematics Subject Classification ID

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

03-04: Software, source code, etc. for problems pertaining to mathematical logic and foundations

Related Items

Programs and logics, The diagrams of formulas of the modal propositional S4 calculus

Cites Work

• Untersuchungen über das logische Schliessen. I
• Unnamed Item
• Unnamed Item