Lattice NExtS4 from the embedding theorem viewpoint

DOI10.1007/978-3-319-69917-2_10MaRDI QIDQ5214738zbMATH OpenOpenAlexFDO

Authors Alexei Y. Muravitsky

Publication date 5 February 2020

Published in Larisa Maksimova on Implication, Interpolation, and Definability (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-69917-2_10

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
• The greatest extension of S4 into which intuitionistic logic is embeddable
• Lattices of modal logics and their groups of automorphisms
• Classification of extensions of the modal logic S4
• scientific article; zbMATH DE number 218532

Cites work

• scientific article; zbMATH DE number 2184446 (Why is no real title available?)
• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3950473 (Why is no real title available?)
• scientific article; zbMATH DE number 3659563 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3501559 (Why is no real title available?)
• scientific article; zbMATH DE number 3598538 (Why is no real title available?)
• scientific article; zbMATH DE number 3639689 (Why is no real title available?)
• scientific article; zbMATH DE number 755666 (Why is no real title available?)
• scientific article; zbMATH DE number 3009953 (Why is no real title available?)
• scientific article; zbMATH DE number 3300568 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• A lattice of normal modal logics
• Algebraic methods in philosophical logic
• An ascending chain of S4 logics
• Equational Bases and Nonmodular Lattice Varieties
• Extensions of the Lewis system S5
• Finite-level modal logics
• Modal Logics Between S 4 and S 5
• Some relational systems and the associated topological spaces
• Some results on finite axiomatizability in modal logic
• Some theorems about the sentential calculi of Lewis and Heyting
• Splitting lattices of logics
• The algebra of topology
• The embedding theorem: its further developments and consequences. I

Cited in

(3)

• Lattices of modal logics and their groups of automorphisms
• The Lattice NExtS41 as Composed of Replicas of NExtInt, and Beyond
• The embedding theorem: its further developments and consequences. I

This page was built for publication: Lattice NExtS4 from the embedding theorem viewpoint

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