Pages that link to "Item:Q1863827"
From MaRDI portal
The following pages link to Products of modal logics. III. Products of modal and temporal logics (Q1863827):
Displaying 7 items.
- An analytic tableau calculus for a temporalised belief logic (Q456722) (← links)
- A description logic based situation calculus (Q604908) (← links)
- An NP-complete fragment of fibring logic (Q905999) (← links)
- On squares of modal logics with additional connectives (Q2510775) (← links)
- Segerberg Squares of Modal Logics and Theories of Relation Algebras (Q5214740) (← links)
- On the Essential Flatness of Possible Worlds (Q5259660) (← links)
- Products of ‘transitive” modal logics (Q5718700) (← links)
