Pages that link to "Item:Q1408856"
From MaRDI portal
The following pages link to A proof-theoretic investigation of a logic of positions (Q1408856):
Displaying 6 items.
- Bounded linear-time temporal logic: a proof-theoretic investigation (Q764266) (← links)
- Combining linear-time temporal logic with constructiveness and paraconsistency (Q975875) (← links)
- An approach to infinitary temporal proof theory (Q1762733) (← links)
- A natural deduction system for bundled branching time logic (Q4583318) (← links)
- Temporal Gödel‐Gentzen and Girard translations (Q4915221) (← links)
- Embedding theorems for LTL and its variants (Q5740619) (← links)
