Pages that link to "Item:Q3522041"
From MaRDI portal
The following pages link to A Tableaux System for Deontic Action Logic (Q3522041):
Displaying 5 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)
- (Q3081994) (← links)
- Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra (Q4931571) (← links)
- Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance (Q5170187) (← links)