Pages that link to "Item:Q5537602"
From MaRDI portal
The following pages link to An algebraic study of tense logics with linear time (Q5537602):
Displaying 6 items.
- Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition (Q606997) (← links)
- Model theory for tense logic: Saturated and special models with applications to the tense hierarchy (Q1156790) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- Tense systems with discrete moments of time. I (Q2555065) (← links)
- On the problems of time retrieval of temporal relations causality, and coexistence (Q5681547) (← links)
- Modal logics that need very large frames (Q5937849) (← links)