Pages that link to "Item:Q975875"
From MaRDI portal
The following pages link to Combining linear-time temporal logic with constructiveness and paraconsistency (Q975875):
Displayed 6 items.
- Temporal BI: proof system, semantics and translations (Q391122) (← links)
- Synchronized linear-time temporal logic (Q647400) (← links)
- Bounded linear-time temporal logic: a proof-theoretic investigation (Q764266) (← links)
- Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
- Paraconsistent computation tree logic (Q1758667) (← links)
- Temporal Gödel‐Gentzen and Girard translations (Q4915221) (← links)