Pages that link to "Item:Q1101100"
From MaRDI portal
The following pages link to Arithmetical axiomatization of first-order temporal logic (Q1101100):
Displaying 4 items.
- A complete axiomatic characterization of first-order temporal logic of linear time (Q1102941) (← links)
- Axiomatizing fixpoint logics (Q1190508) (← links)
- On strictly arithmetical completeness in logics of programs (Q2277248) (← links)
- Axiomatising first-order temporal logic: Until and since over linear time (Q2563451) (← links)
