Pages that link to "Item:Q4609353"
From MaRDI portal
The following pages link to Paraconsistent Sequential Linear-Time Temporal Logic: Combining Paraconsistency and Sequentiality in Temporal Reasoning (Q4609353):
Displaying 5 items.
- Combining linear-time temporal logic with constructiveness and paraconsistency (Q975875) (← links)
- Paraconsistent computation tree logic (Q1758667) (← links)
- Model checking temporal aspects of inconsistent concurrent systems based on paraconsistent logic (Q2852076) (← links)
- A Paraconsistent Linear-time Temporal Logic (Q3084992) (← links)
- (Q5460163) (← links)