Modal Logic of Lattices
Modal Logic of Lattices
Author(s): Maciej A. HałapaczSubject(s): Economy
Published by: Wydawnictwo Uniwersytetu Łódzkiego
Keywords: modal logics of classes of structures; lattices; order; distributivity
Summary/Abstract: We prove that the modal logic of lattices with the accessibility relation of being isomorphic to a sublattice is S4.2. The same is proven for modular and distributive lattices.
Journal: Bulletin of the Section of Logic
- Issue Year: 55/2026
- Issue No: 2
- Page Range: 307-319
- Page Count: 13
- Language: English
