Pages that link to "Item:Q2374313"
From MaRDI portal
The following pages link to An exercise on the generation of many-valued dynamic logics (Q2374313):
Displaying 10 items.
- On interval dynamic logic (Q1784786) (← links)
- A semantics and a logic for \textit{Fuzzy Arden Syntax} (Q2099984) (← links)
- Adding proof calculi to epistemic logics with structured knowledge (Q2145260) (← links)
- Dynamic Łukasiewicz logic and dynamic MV-algebras (Q2206432) (← links)
- A fuzzy modal logic for fuzzy transition systems (Q2219078) (← links)
- A family of graded epistemic logics (Q2333311) (← links)
- Epistemic logics with structured knowledge (Q2333672) (← links)
- Graded epistemic logic with public announcement (Q2669241) (← links)
- A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications (Q5477457) (← links)
- A logic for paraconsistent transition systems (Q6659915) (← links)