Pages that link to "Item:Q4879194"
From MaRDI portal
The following pages link to Tense Logic Without Tense Operators (Q4879194):
Displaying 9 items.
- All finitely axiomatizable tense logics of linear time flows are coNP-complete (Q817685) (← links)
- The structure of lattices of subframe logics (Q1361249) (← links)
- A note on the interpolation property in tense logic (Q1366764) (← links)
- A counterexample in tense logic (Q1815425) (← links)
- Canonical rules (Q3655251) (← links)
- Completeness and decidability of tense logics closely related to logics above K4 (Q4338319) (← links)
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS (Q5241231) (← links)
- Yankov Characteristic Formulas (An Algebraic Account) (Q5886458) (← links)
- Modal logics that need very large frames (Q5937849) (← links)
