Lattice NExtS4 from the Embedding Theorem Viewpoint

DOI10.1007/978-3-319-69917-2_10zbMath1429.03085OpenAlexW2794198262MaRDI QIDQ5214738

A. Yu. Muravitskij

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)

Related Items (1)

The Lattice NExtS41 as Composed of Replicas of NExtInt, and Beyond

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A lattice of normal modal logics
• Finite-level modal logics
• The embedding theorem: its further developments and consequences. I
• Some results on finite axiomatizability in modal logic
• The algebra of topology
• Splitting lattices of logics
• An ascending chain of S4 logics
• Modal Logics Between S 4 and S 5
• Some relational systems and the associated topological spaces
• Equational Bases and Nonmodular Lattice Varieties
• Some theorems about the sentential calculi of Lewis and Heyting
• Extensions of the Lewis system S5

This page was built for publication: Lattice NExtS4 from the Embedding Theorem Viewpoint