Pages that link to "Item:Q4858814"
From MaRDI portal
The following pages link to The finite model property in tense logic (Q4858814):
Displaying 10 items.
- On logics with coimplication (Q1272827) (← links)
- The structure of lattices of subframe logics (Q1361249) (← links)
- Editors' introduction to the special issue on combining logics (Q1815423) (← links)
- A counterexample in tense logic (Q1815425) (← links)
- Lattices of finitely alternative normal tense logics (Q2062217) (← links)
- Finite model property in weakly transitive tense logics (Q2698279) (← links)
- Completeness and decidability of tense logics closely related to logics above K4 (Q4338319) (← links)
- On Finite Model Property for Admissible Rules (Q4704656) (← links)
- On the Blok-Esakia Theorem (Q5255793) (← links)
- Modal logics that need very large frames (Q5937849) (← links)
