Pages that link to "Item:Q5277903"
From MaRDI portal
The following pages link to On the Decidability of Elementary Modal Logics (Q5277903):
Displaying 16 items.
- On the decidability of open logic (Q848254) (← links)
- The decidable normal modal logics are not recursively enumerable (Q1072542) (← links)
- Modal Horn classes (Q1577357) (← links)
- Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals (Q1740653) (← links)
- Elementary definability and completeness in general and positive modal logic (Q1868490) (← links)
- Decidability of some classes of modal logic (Q1873248) (← links)
- Decidability of order-based modal logics (Q2361346) (← links)
- Decidable fragments of first-order modal logics (Q2758067) (← links)
- Modal logics definable by universal three-variable formulas (Q2911630) (← links)
- Elementary Modal Logics over Transitive Structures (Q2958545) (← links)
- Decidable Elementary Modal Logics (Q2986825) (← links)
- Satisfiability versus Finite Satisfiability in Elementary Modal Logics (Q4611207) (← links)
- (Q4661993) (← links)
- On the complexity of elementary modal logics (Q4910732) (← links)
- From Wittgenstein’s N-operator to a New Notation for Some Decidable Modal Logics (Q5208114) (← links)
- (Q5483013) (← links)