Pages that link to "Item:Q472791"
From MaRDI portal
The following pages link to Propositional dynamic logic for searching games with errors (Q472791):
Displaying 4 items.
- Modal definability based on Łukasiewicz validity relations (Q284231) (← links)
- A semantics and a logic for \textit{Fuzzy Arden Syntax} (Q2099984) (← links)
- Dynamic Łukasiewicz logic and its application to immune system (Q2100245) (← links)
- Many-valued coalgebraic logic over semi-primal varieties (Q6597956) (← links)