A new representation of S5
From MaRDI portal
Publication:2556849
DOI10.1305/ndjfl/1093890907zbMath0251.02027OpenAlexW2006912640MaRDI QIDQ2556849
Publication date: 1973
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093890907
Modal logic (including the logic of norms) (03B45) Categoricity and completeness of theories (03C35)
Related Items (7)
Logic reduced to bare (proof-theoretical) bones ⋮ A Carnapian Logic of Conceivability ⋮ Some supervaluation-based consequence relations ⋮ Some modifications of Carnap's modal logic ⋮ Which modal logic is the right one? ⋮ Validity and necessity ⋮ Carnapian extensions of S5
This page was built for publication: A new representation of S5
