The following pages link to The power of temporal proofs (Q1118578):
Displayed 11 items.
- Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics (Q687278) (← links)
- On the strength of temporal proofs (Q809066) (← links)
- Programming in metric temporal logic (Q1128978) (← links)
- Temporal logics need their clocks (Q1186428) (← links)
- The power of the ``always'' operator in first-order temporal logic (Q1350527) (← links)
- Multi-dimensional logic programming: theoretical foundations (Q1390957) (← links)
- Specification of abstract dynamic-data types: A temporal logic approach (Q1391733) (← links)
- Decidability of infinite-state timed CCP processes and first-order LTL (Q1763732) (← links)
- LTL over integer periodicity constraints (Q2503321) (← links)
- Decidability and incompleteness results for first-order temporal logics of linear time (Q4275689) (← links)
- Foundations of linear-time logic programming (Q4876388) (← links)