The following pages link to A counterexample in tense logic (Q1815425):
Displaying 5 items.
- Inverse images of box formulas in modal logic (Q383565) (← links)
- The structure of lattices of subframe logics (Q1361249) (← links)
- Finite model property in weakly transitive tense logics (Q2698279) (← links)
- Fibring: completeness preservation (Q2732291) (← links)
- Tabularity and post-completeness in tense logic (Q6552266) (← links)
