Pages that link to "Item:Q3522047"
From MaRDI portal
The following pages link to A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’ (Q3522047):
Displayed 18 items.
- Combinations of \textit{stit} with \textit{ought} and \textit{know} (Q266671) (← links)
- Agency and fictional truth: a formal study on fiction-making (Q514095) (← links)
- Deontic epistemic stit logic distinguishing modes of mens rea (Q545173) (← links)
- Combinations of stit and actions (Q616041) (← links)
- Making a start with the stit logic analysis of intentional action (Q652741) (← links)
- Actions as events (Q692178) (← links)
- Knowing the price of success (Q785233) (← links)
- Decidability of logics based on an indeterministic metric tense logic (Q897475) (← links)
- Complexity results of STIT fragments (Q1928487) (← links)
- A logic of goal-directed knowing how (Q2218708) (← links)
- A dynamic logic of agency. I: STIT, capabilities and powers (Q2268355) (← links)
- Knowing-how under uncertainty (Q2289005) (← links)
- REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION (Q3096821) (← links)
- Ten Problems of Deontic Logic and Normative Reasoning in Computer Science (Q3166987) (← links)
- A Logic of Knowing How (Q3457721) (← links)
- Temporal logic and its application to normative reasoning (Q4583324) (← links)
- ACTION TYPES IN STIT SEMANTICS (Q4600819) (← links)
- DOING WITHOUT ACTION TYPES (Q6153157) (← links)