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 11 items.
- Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition (Q606997) (← links)
- Algebraic axiomatization of tense intuitionistic logic (Q657427) (← 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)
- (Q4797374) (← links)
- (Q4943495) (← links)
- Algebraic and logical characterizations of deterministic linear time classes (Q5048946) (← links)
- On the problems of time retrieval of temporal relations causality, and coexistence (Q5681547) (← links)
- Modal logics that need very large frames (Q5937849) (← links)
- (Q6167899) (← links)
