Pages that link to "Item:Q526730"
From MaRDI portal
The following pages link to Tableau systems for deontic action logics based on finite Boolean algebras, and their complexity (Q526730):
Displaying 5 items.
- Deontic action logic, atomic Boolean algebras and fault-tolerance (Q846527) (← links)
- A systematics of deontic action logics based on Boolean algebra (Q3081995) (← links)
- (Q3520323) (← links)
- Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra (Q4931571) (← links)
- (Q5018505) (← links)