Pages that link to "Item:Q3522041"

The following pages link to A Tableaux System for Deontic Action Logic (Q3522041):

Displaying 3 items.

• Tableau systems for deontic action logics based on finite Boolean algebras, and their complexity (Q526730) (← links)
• Encapsulating deontic and branching time specifications (Q714879) (← links)
• Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance (Q5170187) (← links)