Pages that link to "Item:Q4338319"
From MaRDI portal
The following pages link to Completeness and decidability of tense logics closely related to logics above K4 (Q4338319):
Displaying 10 items.
- Combined model checking for temporal, probabilistic, and real-time logics (Q407511) (← links)
- All finitely axiomatizable tense logics of linear time flows are coNP-complete (Q817685) (← links)
- Decidability of logics based on an indeterministic metric tense logic (Q897475) (← links)
- On logics with coimplication (Q1272827) (← links)
- The structure of lattices of subframe logics (Q1361249) (← links)
- A counterexample in tense logic (Q1815425) (← links)
- Useful Four-Valued Extension of the Temporal Logic KtT4 (Q4556005) (← links)
- Tense Logic Without Tense Operators (Q4879194) (← links)
- Canonical formulas for K4. Part II: Cofinal subframe logics (Q4894720) (← links)
- Tabularity and post-completeness in tense logic (Q6552266) (← links)