Pages that link to "Item:Q545173"
From MaRDI portal
The following pages link to Deontic epistemic stit logic distinguishing modes of mens rea (Q545173):
Displayed 22 items.
- Combinations of \textit{stit} with \textit{ought} and \textit{know} (Q266671) (← links)
- A STIT logic for reasoning about social influence (Q310094) (← links)
- Decidability of an Xstit logic (Q456970) (← links)
- The categorical imperative: category theory as a foundation for deontic logic (Q472796) (← links)
- Making a start with the stit logic analysis of intentional action (Q652741) (← links)
- Some forms of collectively bringing about or `seeing to it that' (Q830364) (← links)
- Decidability of logics based on an indeterministic metric tense logic (Q897475) (← links)
- Law and logic: a review from an argumentation perspective (Q899166) (← links)
- Deontic STIT logic, from logical paradox to security policy (Q1797760) (← links)
- Complexity results of STIT fragments (Q1928487) (← links)
- Choice-driven counterfactuals (Q2121480) (← links)
- Weighted modal logic in epistemic and deontic contexts (Q2148817) (← links)
- ACTION TYPES IN STIT SEMANTICS (Q4600819) (← links)
- On the Reconciliation of Logics of Agency and Logics of Event Types (Q4982651) (← links)
- (Q4993609) (← links)
- A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms (Q5098752) (← links)
- RESTRICTED INTERPOLATION AND LACK THEREOF IN STIT LOGIC (Q5117589) (← links)
- Stit semantics for epistemic notions based on information disclosure in interactive settings (Q5919130) (← links)
- A logical analysis of instrumentality judgments: means-end relations in the context of experience and expectations (Q6054066) (← links)
- Counterfactual and seeing-to-it responsibilities in strategic games (Q6076365) (← links)
- A Logic-Based Analysis of Responsibility (Q6118734) (← links)
- DOING WITHOUT ACTION TYPES (Q6153157) (← links)