The following pages link to (Q5422030):
Displaying 50 items.
- Combinations of \textit{stit} with \textit{ought} and \textit{know} (Q266671) (← links)
- A STIT logic for reasoning about social influence (Q310094) (← links)
- Newtonian determinism to branching space-times indeterminism in two moves (Q393605) (← links)
- Decidability of an Xstit logic (Q456970) (← links)
- The categorical imperative: category theory as a foundation for deontic logic (Q472796) (← links)
- Preferential semantics using non-smooth preference relations (Q484187) (← links)
- Deontic logic for strategic games (Q486968) (← links)
- Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces (Q516317) (← links)
- A logic for reasoning about counterfactual emotions (Q543627) (← links)
- Prolegomenon to norms in branching space-times (Q545167) (← links)
- Deontic epistemic stit logic distinguishing modes of mens rea (Q545173) (← links)
- Agential obligation as non-agential personal obligation plus agency (Q598546) (← links)
- Action negation and alternative reductions for dynamic deontic logics (Q598547) (← links)
- Combinations of stit and actions (Q616041) (← links)
- Completeness of a branching-time logic with possible choices (Q622622) (← links)
- Reasoning about permitted announcements (Q652739) (← links)
- Making a start with the stit logic analysis of intentional action (Q652741) (← links)
- Actions as events (Q692178) (← links)
- Quantified temporal alethic boulesic doxastic logic (Q828771) (← links)
- Some forms of collectively bringing about or `seeing to it that' (Q830364) (← links)
- Law and logic: a review from an argumentation perspective (Q899166) (← links)
- Living up to one's commitments: Agency, strategies and trust (Q931781) (← links)
- The irreducibility of personal obligation (Q975778) (← links)
- Determining the environment: a modal logic for closed interaction (Q1036057) (← links)
- Obligation as optimal goal satisfaction (Q1670486) (← links)
- On the complexity of input/output logic (Q1688711) (← links)
- Impossible worlds and the logic of imagination (Q1707216) (← links)
- Remarks on the logic of imagination. A step towards understanding doxastic control through imagination (Q1708861) (← links)
- An axiomatic system and a tableau calculus for STIT imagination logic (Q1749805) (← links)
- Deontic STIT logic, from logical paradox to security policy (Q1797760) (← links)
- Propositional \(\text Q\)-logic (Q1863958) (← links)
- Complexity results of STIT fragments (Q1928487) (← links)
- Temporal alethic-deontic logic and semantic tableaux (Q1948272) (← links)
- A dynamic logic of agency. II: Deterministic \({\mathcal{DLA}}\), coalition logic, and game theory (Q1959225) (← links)
- On composition of bounded-recall plans (Q2046034) (← links)
- Dynamic logic of legal competences (Q2071574) (← links)
- Choice-driven counterfactuals (Q2121480) (← links)
- A probabilistic deontic logic (Q2146062) (← links)
- Weighted modal logic in epistemic and deontic contexts (Q2148817) (← links)
- Generalizing deontic action logic (Q2157600) (← links)
- Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support (Q2211865) (← links)
- Formalizing GDPR provisions in reified I/O logic: the DAPRECO knowledge base (Q2228447) (← links)
- Action type deontic logic (Q2258815) (← links)
- A dynamic logic of agency. I: STIT, capabilities and powers (Q2268355) (← links)
- Knowing-how under uncertainty (Q2289005) (← links)
- Deontology of compound actions (Q2304622) (← links)
- From oughts to goals: a logic for Enkrasia (Q2304625) (← links)
- An inconsistency-adaptive deontic logic for normative conflicts (Q2377190) (← links)
- Two adaptive logics of norm-propositions (Q2446539) (← links)
- Moral conflicts between groups of agents (Q2481240) (← links)
