A formalization of the modal propositional S4 calculus

DOI10.1007/BF02282568MaRDI QIDQ1845872zbMATH OpenFDO

Authors Anita Wasilewska

Publication date 1971

Published in Studia Logica (Search for Journal in Brave)

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)

Cites work

• scientific article; zbMATH DE number 3142081 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• Untersuchungen über das logische Schliessen. I

Cited in

(2)

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

This page was built for publication: A formalization of the modal propositional S4 calculus

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