The following pages link to (Q2767162):
Displaying 7 items.
- A propositional linear time logic with time flow isomorphic to \(\omega^2\) (Q2447179) (← links)
- The temporal logic of linear time frames with inductions axiom (Q2454548) (← links)
- Polymodal logic of the class of inductive linear time frames (Q2630564) (← links)
- On Topologically Relevant Fragments of the Logic of Linear Flows of Time (Q2947457) (← links)
- Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality (Q5853178) (← links)
- A note on the modal and temporal logics for \(n\)-dimensional spacetime (Q5937837) (← links)
- Admissible generalisation of temporal sequences as chronicles (Q6060998) (← links)
