The following pages link to José Carmo (Q911746):
Displaying 15 items.
- Branching versus linear logics yet again (Q911747) (← links)
- Deontic database constraints, violation and recovery (Q1922825) (← links)
- (Q2757802) (← links)
- Roles, Counts-as and Deontic and Action Logics (Q3529346) (← links)
- Collective agency, direct action and dynamic operators (Q3550953) (← links)
- (Q3826521) (← links)
- Ockhamist Computational Logic: Past-Sensitive Necessitation in CTL (Q4276172) (← links)
- (Q4329183) (← links)
- (Q4329184) (← links)
- (Q4394904) (← links)
- (Q4860652) (← links)
- Carmo and Jones’ logic for contrary-to-duty obligations revised (Q5044544) (← links)
- A modal action logic based framework for organization specification and analysis (Q5235257) (← links)
- Completeness and decidability results for a logic of contrary-to-duty conditionals (Q5300583) (← links)
- (Q5403634) (← links)