Pages that link to "Item:Q2865739"
From MaRDI portal
The following pages link to The axiomatization of propositional linear time temporal logic (Q2865739):
Displaying 22 items.
- Propositional linear temporal logic with initial validity semantics (Q271908) (← links)
- Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics (Q687278) (← links)
- A complete axiom system for propositional projection temporal logic with cylinder computation model (Q896162) (← links)
- 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)
- Partial cut elimination for propositional discrete linear time temporal logic (Q2810015) (← links)
- The derivations of temporal logic formulas (Q2852159) (← links)
- The properties of sets of temporal logic subformulas (Q2852160) (← links)
- Weak completeness theorem for propositional linear time temporal logic (Q2852161) (← links)
- Designing tableau-like axiomatization for propositional linear temporal logic at home of Arthur Prior (Q2880593) (← links)
- A Paraconsistent Linear-time Temporal Logic (Q3084992) (← links)
- From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability (Q3442402) (← links)
- (Q3496314) (← links)
- (Q4412853) (← links)
- (Q4636027) (← links)
- (Q4925067) (← links)
- (Q4929426) (← links)
- (Q4982354) (← links)
- Cyclic Proofs for Linear Temporal Logic (Q5221853) (← links)
- Algebraic Methodology and Software Technology (Q5312975) (← links)
- (Q5460163) (← links)
- An algebraic study of tense logics with linear time (Q5537602) (← links)
