Pages that link to "Item:Q650277"
From MaRDI portal
The following pages link to Axiomatization of modal logic squares with distinguished diagonal (Q650277):
Displaying 5 items.
- The decision problem of modal product logics with a diagonal, and faulty counter machines (Q295920) (← links)
- On the subtle nature of a simple logic of the hide and seek game (Q2148792) (← links)
- Modal definability of first-order formulas with free variables and query answering (Q2446543) (← links)
- On squares of modal logics with additional connectives (Q2510775) (← links)
- A simple logic of the hide and seek game (Q6057624) (← links)
