The following pages link to On the strength of temporal proofs (Q809066):
Displayed 4 items.
- Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics (Q687278) (← links)
- Temporal logics need their clocks (Q1186428) (← links)
- Lambek calculus and its relational semantics: Completeness and incompleteness (Q1314508) (← links)
- Derivation rules as anti-axioms in modal logic (Q4276034) (← links)