The following pages link to A logic of intention and attempt (Q934779):
Displaying 16 items.
- Completely and partially executable sequences of actions in deontic context (Q513930) (← links)
- Making a start with the stit logic analysis of intentional action (Q652741) (← links)
- Quantified temporal alethic boulesic doxastic logic (Q828771) (← links)
- A logical formalization of the OCC theory of emotions (Q1036048) (← links)
- Intention as commitment toward time (Q1989411) (← links)
- Generalizing deontic action logic (Q2157600) (← links)
- A dynamic logic of agency. I: STIT, capabilities and powers (Q2268355) (← links)
- From oughts to goals: a logic for Enkrasia (Q2304625) (← links)
- Refinement of Intentions (Q2835902) (← links)
- A Dynamic Logic of Institutional Actions (Q3092309) (← links)
- REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION (Q3096821) (← links)
- Logic and Ethics: An Integrated Model for Norms, Intentions and Actions (Q3457710) (← links)
- Trust and Norms in the Context of Computer Security: A Logical Formalization (Q3522042) (← links)
- Intentions and potential intentions revisited (Q4583169) (← links)
- Temporal logic and its application to normative reasoning (Q4583324) (← links)
- Modelling last-act attempted crime in criminal law (Q5243395) (← links)
