The following pages link to On the strength of temporal proofs (Q809066):
Displaying 9 items.
- On the axiomatizability of some first-order spatio-temporal theories (Q514577) (← links)
- Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics (Q687278) (← links)
- Incompleteness of first-order temporal logic with until (Q1123184) (← links)
- Temporal logics need their clocks (Q1186428) (← links)
- Lambek calculus and its relational semantics: Completeness and incompleteness (Q1314508) (← links)
- A propositional probabilistic logic with discrete linear time for reasoning about evidence (Q1928821) (← links)
- On the strength of temporal proofs (Q3975138) (← links)
- Results on the glory of the past (Q3976046) (← links)
- Derivation rules as anti-axioms in modal logic (Q4276034) (← links)
