Pages that link to "Item:Q472791"

The following pages link to Propositional dynamic logic for searching games with errors (Q472791):

Displaying 3 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)