The following pages link to Automated Reasoning (Q5307064):
Displaying 4 items.
- A dynamic deontic logic for complex contracts (Q444496) (← links)
- PDL with intersection of programs: a complete axiomatization (Q3643256) (← links)
- PDL with negation of atomic programs (Q3647227) (← links)
- Using tableau to decide description logics with full role negation and identity (Q5410334) (← links)