The following pages link to (Q4856959):
Displaying 5 items.
- Semilinear substructural logics with the finite embeddability property (Q1991589) (← links)
- Finite model property in weakly transitive tense logics (Q2698279) (← links)
- Finite model property of modal logics of finite depth (Q2815679) (← links)
- Finding Finite Models in Multi-sorted First-Order Logic (Q2818025) (← links)
- The finite model property for knotted extensions of propositional linear logic (Q3370755) (← links)