Skip to main navigation Skip to search Skip to main content

A formalization of the modal propositional S4 calculus

Research output: Contribution to journalArticlepeer-review

2 Scopus citations
Original languageEnglish
Pages (from-to)133-147
Number of pages15
JournalStudia Logica
Volume27
Issue number1
DOIs
StatePublished - Dec 1971

Fingerprint

Dive into the research topics of 'A formalization of the modal propositional S4 calculus'. Together they form a unique fingerprint.

Cite this