Dual characterizations for finite lattices via correspondence theory for monotone modal logic
From MaRDI portal
Publication:2983393
DOI10.1093/logcom/exw011zbMath1444.03173arXiv1408.1843OpenAlexW2963033294MaRDI QIDQ2983393
Alessandra Palmigiano, Sabine Frittella, Luigi Santocanale
Publication date: 17 May 2017
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1408.1843
Modal logic (including the logic of norms) (03B45) Logical aspects of lattices and related structures (03G10) Structure and representation theory of distributive lattices (06D05) Lattices and duality (06D50)
Related Items (6)
THE LOGIC OF RESOURCES AND CAPABILITIES ⋮ Non-normal modal logics and conditional logics: semantic analysis and proof theory ⋮ Algorithmic correspondence and canonicity for non-distributive logics ⋮ Unnamed Item ⋮ Categories: How I Learned to Stop Worrying and Love Two Sorts ⋮ Unnamed Item
Uses Software
This page was built for publication: Dual characterizations for finite lattices via correspondence theory for monotone modal logic
