The following pages link to (Q5419895):
Displaying 6 items.
- Modal Horn classes (Q1577357) (← links)
- Elementary Modal Logics over Transitive Structures (Q2958545) (← links)
- The satisfiabilty problem for a class consisting of horn sentences and some non-horn sentences in proportional logic (Q3677734) (← links)
- Satisfiability versus Finite Satisfiability in Elementary Modal Logics (Q4611207) (← links)
- On the Decidability of Elementary Modal Logics (Q5277903) (← links)
- Existential definability of modal frame classes (Q6096325) (← links)