Lattice NExtS4 from the embedding theorem viewpoint

DOI10.1007/978-3-319-69917-2_10zbMATH Open1429.03085OpenAlexW2794198262MaRDI QIDQ5214738FDOQ5214738

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

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebraic methods in philosophical logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Some theorems about the sentential calculi of Lewis and Heyting
• The algebra of topology
• Title not available (Why is that?)
• Equational Bases and Nonmodular Lattice Varieties
• Extensions of the Lewis system S5
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A lattice of normal modal logics
• Splitting lattices of logics
• Title not available (Why is that?)
• Modal Logics Between S 4 and S 5
• Some relational systems and the associated topological spaces
• An ascending chain of S4 logics
• Title not available (Why is that?)
• Some results on finite axiomatizability in modal logic
• Finite-level modal logics
• 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)