Products of Modal Logics with Diagonal Constant Lacking the Finite Model Property
From MaRDI portal
Publication:3655206
DOI10.1007/978-3-642-04222-5_17zbMath1193.03041OpenAlexW1571093349MaRDI QIDQ3655206
Publication date: 7 January 2010
Published in: Frontiers of Combining Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-04222-5_17
Related Items
The decision problem of modal product logics with a diagonal, and faulty counter machines ⋮ On the subtle nature of a simple logic of the hide and seek game ⋮ A simple logic of the hide and seek game ⋮ Axiomatization of modal logic squares with distinguished diagonal
Cites Work
- Unnamed Item
- Unnamed Item
- Cylindric algebras. Part II
- Many-dimensional modal logics: theory and applications
- Some embedding theorems for modal logic
- On languages with two variables
- Complexity of products of modal logics
- On the Decision Problem for Two-Variable First-Order Logic
- Products of modal logics, part 1
- On the Products of Linear Modal Logics
- Products of modal logics. Part 2: relativised quantifiers in classical logic
- Products of ‘transitive” modal logics
- Two-dimensional modal logic