Pages that link to "Item:Q2510775"
From MaRDI portal
The following pages link to On squares of modal logics with additional connectives (Q2510775):
Displaying 4 items.
- The decision problem of modal product logics with a diagonal, and faulty counter machines (Q295920) (← links)
- Spatial logic of tangled closure operators and modal mu-calculus (Q515566) (← links)
- A Constructive Presentation for the Modal Connective of Necessity (□) (Q4007157) (← links)
- Segerberg Squares of Modal Logics and Theories of Relation Algebras (Q5214740) (← links)