Pages that link to "Item:Q650277"
From MaRDI portal
The following pages link to Axiomatization of modal logic squares with distinguished diagonal (Q650277):
Displaying 9 items.
- The decision problem of modal product logics with a diagonal, and faulty counter machines (Q295920) (← links)
- Logical squares for classical logic sentences (Q346765) (← 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)
- Squares of modal logics with additional connectives (Q3145920) (← links)
- Minimal Axiomatization in Modal Logic (Q4333475) (← links)
- (Q4863274) (← links)
- A simple logic of the hide and seek game (Q6057624) (← links)