Some Post-complete extensions of S2 and S3

DOI10.1305/NDJFL/1093888020zbMath0348.02026OpenAlexW2001162916MaRDI QIDQ1234292

Robert V. Kohn

Publication date: 1977

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093888020

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) General logic (03B99) Categoricity and completeness of theories (03C35)

Related Items (2)

Denumerably many Post-complete normal modal logics with propositional constants ⋮ Varieties of logical matrices

This page was built for publication: Some Post-complete extensions of S2 and S3