Pages that link to "Item:Q4812313"
From MaRDI portal
The following pages link to An Axiomatization of Linear Temporal Logic in the Calculus of Inductive Constructions (Q4812313):
Displaying 14 items.
- ``Backward'' coinduction, Nash equilibrium and the rationality of escalation (Q715039) (← 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)
- A Coq library for verification of concurrent programs (Q2871836) (← links)
- Designing tableau-like axiomatization for propositional linear temporal logic at home of Arthur Prior (Q2880593) (← links)
- Complete axiomatization of the stutter-invariant fragment of the linear time \(\mu\)-calculus (Q2904051) (← links)
- (Q4636027) (← links)
- (Q4982354) (← links)
- Cyclic Proofs for Linear Temporal Logic (Q5221853) (← links)
- Multimodal Separation Logic for Reasoning About Operational Semantics (Q5415628) (← links)
- (Q5460163) (← links)
- Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation (Q5896950) (← links)
- Specification and verification of a linear-time temporal logic for graph transformation (Q6535505) (← links)
- Interactive matching logic proofs in Coq (Q6605348) (← links)
