Pages that link to "Item:Q1758667"
From MaRDI portal
The following pages link to Paraconsistent computation tree logic (Q1758667):
Displaying 7 items.
- Axiomatising extended computation tree logic (Q1389439) (← links)
- Inconsistency-tolerant temporal reasoning with hierarchical information (Q1749966) (← links)
- Model checking temporal aspects of inconsistent concurrent systems based on paraconsistent logic (Q2852076) (← links)
- Graded Computation Tree Logic with Binary Coding (Q3586038) (← links)
- Paraconsistent intelligent systems of computer logics (Q4007390) (← links)
- Paraconsistent Sequential Linear-Time Temporal Logic: Combining Paraconsistency and Sequentiality in Temporal Reasoning (Q4609353) (← links)
- Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic (Q6067745) (← links)