A1 is not a conservative extension of S4 but of S5

DOI10.1007/BF00274070zbMath0677.03009MaRDI QIDQ1123182

Michiro Kondo

Publication date: 1989

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

knowledgea prioriconservative extensionalethic modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05)

Cites Work

• Knowledge and necessity

This page was built for publication: A1 is not a conservative extension of S4 but of S5