Pages that link to "Item:Q975875"
From MaRDI portal
The following pages link to Combining linear-time temporal logic with constructiveness and paraconsistency (Q975875):
Displaying 20 items.
- Temporal BI: proof system, semantics and translations (Q391122) (← links)
- Synchronized linear-time temporal logic (Q647400) (← links)
- Unification in linear temporal logic LTL (Q716499) (← links)
- Constructive linear-time temporal logic: proof systems and Kripke semantics (Q764262) (← 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)
- A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics (Q2813672) (← links)
- A Paraconsistent Linear-time Temporal Logic (Q3084992) (← links)
- Inconsistency-Tolerant Multi-Agent Calculus (Q3448622) (← links)
- The intuitionistic temporal logic of dynamical systems (Q4580328) (← links)
- Representing any-time and program-iteration by infinitary conjunction (Q4583319) (← links)
- Paraconsistent Sequential Linear-Time Temporal Logic: Combining Paraconsistency and Sequentiality in Temporal Reasoning (Q4609353) (← links)
- Temporal Gödel‐Gentzen and Girard translations (Q4915221) (← links)
- COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS (Q5100046) (← links)
- (Q5151002) (← links)
- Embedding theorems for LTL and its variants (Q5740619) (← links)
- Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation (Q5896950) (← links)
- Exploring the Jungle of Intuitionistic Temporal Logics (Q6063858) (← links)
- Ill-founded proof systems for intuitionistic linear-time temporal logic (Q6541154) (← links)