Pages that link to "Item:Q1873248"
From MaRDI portal
The following pages link to Decidability of some classes of modal logic (Q1873248):
Displaying 21 items.
- On the decidability of open logic (Q848254) (← links)
- The decidable normal modal logics are not recursively enumerable (Q1072542) (← links)
- SAT-based decision procedures for classical modal logics (Q1610667) (← links)
- On the decidability of certain semi-lattice based modal logics (Q1694448) (← links)
- Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals (Q1740653) (← links)
- One calculus of nonderivable formulas of propositional modal logic (Q1881787) (← links)
- Decidability of order-based modal logics (Q2361346) (← links)
- Decidability of general extensional mereology (Q2377058) (← links)
- On temporal logic S4Dbr (Q2471628) (← links)
- Path calculus in the modal logic S4 (Q2571516) (← links)
- (Q3476787) (← links)
- Decidable Extensions of Hennessy-Milner Logic (Q3613068) (← links)
- (Q3693507) (← links)
- An incomplete decidable modal logic (Q3718681) (← links)
- (Q3815280) (← links)
- (Q4881682) (← links)
- From Wittgenstein’s N-operator to a New Notation for Some Decidable Modal Logics (Q5208114) (← links)
- Decidability for some justification logics with negative introspection (Q5300069) (← links)
- (Q5483013) (← links)
- Two decidable classes of formulas of the modal logic S5 (Q5930988) (← links)
- Decidable and Undecidable Problems for First-Order Definability and Modal Definability (Q6487229) (← links)