The greatest extension of S4 into which intuitionistic logic is embeddable

DOI10.1023/A:1005084328298zbMATH Open0920.03028OpenAlexW1575624441MaRDI QIDQ1378428FDOQ1378428

Michael Zakharyaschev

Publication date: 20 July 1999

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005084328298

Recommendations

• The embedding theorem: its further developments and consequences. I
• On modal logics which are conservative over the intuitionistic predicate calculus
• scientific article; zbMATH DE number 218532
• scientific article; zbMATH DE number 1431908

zbMATH Keywords

intermediate logicintuitionistic logicGrzegorczyk logicmodal companioncanonical formula[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=G%EF%BF%BD%EF%BF%BDdel+translation&go=Go G��del translation]quasi-normal modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55)

Cited In (2)

• On different intuitionistic calculi and embeddings from Int to S4
• On modal logics which are conservative over the intuitionistic predicate calculus

This page was built for publication: The greatest extension of S4 into which intuitionistic logic is embeddable

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