The following pages link to Decidable Elementary Modal Logics (Q2986825):
Displaying 9 items.
- A dichotomy for some elementarily generated modal logics (Q497429) (← 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)
- Modal logics definable by universal three-variable formulas (Q2911630) (← links)
- Elementary Modal Logics over Transitive Structures (Q2958545) (← links)
- On the complexity of elementary modal logics (Q4910732) (← links)
- KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS (Q5222523) (← links)
- On the Decidability of Elementary Modal Logics (Q5277903) (← links)