Pages that link to "Item:Q1350524"
From MaRDI portal
The following pages link to Completeness of a first-order temporal logic with time-gaps (Q1350524):
Displaying 6 items.
- Continuous Fraïssé conjecture (Q1013988) (← links)
- A non-hyperarithmetical Gödel logic (Q2151390) (← links)
- Loop-type sequent calculi for temporal logic (Q2228437) (← links)
- First-order Gödel logics (Q2370370) (← links)
- REASONING ABOUT TRANSFINITE SEQUENCES (Q3426789) (← links)
- Proof-theoretical investigation of temporal logic with time gaps (Q5930981) (← links)
