Pages that link to "Item:Q3655206"
From MaRDI portal
The following pages link to Products of Modal Logics with Diagonal Constant Lacking the Finite Model Property (Q3655206):
Displaying 4 items.
- The decision problem of modal product logics with a diagonal, and faulty counter machines (Q295920) (← links)
- Axiomatization of modal logic squares with distinguished diagonal (Q650277) (← links)
- On the subtle nature of a simple logic of the hide and seek game (Q2148792) (← links)
- A simple logic of the hide and seek game (Q6057624) (← links)
