The following pages link to Model theory for tense logics (Q4063120):
Displaying 11 items.
- Interval logics with applications to study of tense and aspect in English (Q1145690) (← links)
- A study of some tense logics by Gentzen's sequential method (Q1145691) (← links)
- Model theory for tense logic: Saturated and special models with applications to the tense hierarchy (Q1156790) (← links)
- A complete logic for reasoning about programs via nonstandard model theory. II (Q1159461) (← links)
- An algebraic study of tense operators on Nelson algebras (Q2021568) (← links)
- A categorical equivalence for tense Nelson algebras (Q2115290) (← links)
- `Now' and `then' in tense logic (Q2271188) (← links)
- On decidable, finitely axiomatizable, modal and tense logics without the finite model property. I, II (Q2550380) (← links)
- Tense systems with discrete moments of time. I (Q2555065) (← links)
- Axiomatising first-order temporal logic: Until and since over linear time (Q2563451) (← links)
- Logic and time (Q3856738) (← links)
