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):
Displayed 1 item.
- (Q5018505) (← links)