The greatest extension of S4 into which intuitionistic logic is embeddable

DOI10.1023/A:1005084328298MaRDI QIDQ1378428zbMATHOpenAlexFDO

Authors 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

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)

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

Cited in

(4)

• On different intuitionistic calculi and embeddings from Int to S4
• Lattice NExtS4 from the embedding theorem viewpoint
• The embedding theorem: its further developments and consequences. I
• 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)