Pages that link to "Item:Q4952023"
From MaRDI portal
The following pages link to Products of modal logics. Part 2: relativised quantifiers in classical logic (Q4952023):
Displaying 10 items.
- The decision problem of modal product logics with a diagonal, and faulty counter machines (Q295920) (← links)
- A description logic based situation calculus (Q604908) (← links)
- Introducing reactive Kripke semantics and arc accessibility (Q1935595) (← links)
- On squares of modal logics with additional connectives (Q2510775) (← links)
- Axiomatization and completeness of lexicographic products of modal logics (Q2901209) (← links)
- Products of Modal Logics with Diagonal Constant Lacking the Finite Model Property (Q3655206) (← links)
- Segerberg Squares of Modal Logics and Theories of Relation Algebras (Q5214740) (← links)
- On the Essential Flatness of Possible Worlds (Q5259660) (← links)
- Introducing Reactive Kripke Semantics and Arc Accessibility (Q5452184) (← links)
- A simple logic of the hide and seek game (Q6057624) (← links)
