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 19 items.
- The decision problem of modal product logics with a diagonal, and faulty counter machines (Q295920) (← links)
- An analytic tableau calculus for a temporalised belief logic (Q456722) (← links)
- Products of modal logics and tensor products of modal algebras (Q472808) (← links)
- A description logic based situation calculus (Q604908) (← links)
- An NP-complete fragment of fibring logic (Q905999) (← links)
- An elementary construction for a non-elementary procedure (Q1863831) (← links)
- Non-primitive recursive decidability of products of modal logics with expanding domains (Q2503403) (← links)
- On squares of modal logics with additional connectives (Q2510775) (← links)
- Products, or how to create modal logics of high complexity (Q2708309) (← links)
- On reduced products of Kripke models (Q3726099) (← links)
- Products of modal logics, part 1 (Q4380448) (← links)
- The product of converse PDL and polymodal K (Q4487258) (← links)
- (Q4636027) (← links)
- Polymodal Logics of Commuting Functions (Q4795880) (← links)
- Products of modal logics. Part 2: relativised quantifiers in classical logic (Q4952023) (← links)
- Segerberg Squares of Modal Logics and Theories of Relation Algebras (Q5214740) (← links)
- On the Essential Flatness of Possible Worlds (Q5259660) (← links)
- (Q5465443) (← links)
- Products of ‘transitive” modal logics (Q5718700) (← links)
