The following pages link to Temporal logics need their clocks (Q1186428):
Displaying 6 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)
- Incompleteness of first-order temporal logic with until (Q1123184) (← links)
- Derivation rules as anti-axioms in modal logic (Q4276034) (← links)
- Tomorrow’s Sea-Battle and the Beginning of Temporal Logic (Q4611678) (← links)
- Similarity saturation for first order linear temporal logic with UNLESS (Q5236443) (← links)