Pages that link to "Item:Q3084992"
From MaRDI portal
The following pages link to A Paraconsistent Linear-time Temporal Logic (Q3084992):
Displaying 18 items.
- Synchronized linear-time temporal logic (Q647400) (← links)
- Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
- Combining linear-time temporal logic with constructiveness and paraconsistency (Q975875) (← links)
- Paraconsistent computation tree logic (Q1758667) (← links)
- A propositional linear time logic with time flow isomorphic to \(\omega^2\) (Q2447179) (← links)
- Partial cut elimination for propositional discrete linear time temporal logic (Q2810015) (← links)
- Model checking temporal aspects of inconsistent concurrent systems based on paraconsistent logic (Q2852076) (← links)
- Embedding-based approaches to paraconsistent and temporal description logics (Q3165753) (← links)
- (Q3384170) (← links)
- Linear Temporal Logic of Constraint Automata (Q3628607) (← links)
- (Q4417914) (← links)
- Parity Automata for Quantitative Linear Time Logics (Q4580202) (← links)
- Paraconsistent Sequential Linear-Time Temporal Logic: Combining Paraconsistency and Sequentiality in Temporal Reasoning (Q4609353) (← links)
- (Q4925067) (← links)
- A restricted second-order logic for non-deterministic poly-logarithmic time (Q5082331) (← links)
- (Q5460163) (← links)
- Logical consecutions in discrete linear temporal logic (Q5486245) (← links)
- Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic (Q6067745) (← links)