Pages that link to "Item:Q1148308"
From MaRDI portal
The following pages link to Axioms for tense logic. I: 'Since' and 'until' (Q1148308):
Displaying 15 items.
- Completeness for flat modal fixpoint logics (Q638475) (← links)
- The complexity of the temporal logic with ``until'' over general linear time (Q1400578) (← links)
- Combining temporal logic systems (Q1815427) (← links)
- Verification of a technical system model with linear temporal logic (Q1941912) (← links)
- A propositional linear time logic with time flow isomorphic to \(\omega^2\) (Q2447179) (← links)
- Tracking and managing deemed abilities (Q2695376) (← links)
- Handling database updates in two-dimensional temporal logic (Q4275692) (← links)
- Step by step – Building representations in algebraic logic (Q4338323) (← links)
- Beliefs supported by binary arguments (Q4685528) (← links)
- Branching-time logic with quantification over branches: The point of view of modal logic (Q4879898) (← links)
- (Q4963163) (← links)
- Probabilistic Temporal Logics (Q5024714) (← links)
- Системы временной логики I: моменты, истории, деревья (Q5059703) (← links)
- Verification in continuous time by discrete reasoning (Q5096392) (← links)
- Modal information logics: axiomatizations and decidability (Q6145035) (← links)
