Deontic epistemic stit logic distinguishing modes of mens rea
From MaRDI portal
(Redirected from Publication:545173)
Recommendations
- Making a start with the stit logic analysis of intentional action
- Bases for an action logic to model negative modes of actions
- A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’
- A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
- The deliberative stit: A study of action, omission, ability, and obligation
Cites work
- scientific article; zbMATH DE number 1142326 (Why is no real title available?)
- scientific article; zbMATH DE number 1749148 (Why is no real title available?)
- A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
- A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’
- A Modal Logic for Coalitional Power in Games
- A STIT-Extension of ATL
- A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
- A knowledge based semantics of messages
- Agency and deontic logic
- Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA
- Alternating-time temporal logic
- Coalition games over Kripke semantics: expressiveness and complexity
- Conditional obligation, deontic paradoxes, and the logic of agency
- Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
- From coalition logic to STIT
- Modal logic
- Moral conflicts between groups of agents
- Properties of logics of individual and group agency
- The deliberative stit: A study of action, omission, ability, and obligation
- The logic of knowledge based obligation
- Time and modality in the logic of agency
Cited in
(26)- Combinations of \textit{stit} with \textit{ought} and \textit{know}
- Some forms of collectively bringing about or `seeing to it that'
- Making norms and following norms
- A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms
- Making a start with the stit logic analysis of intentional action
- On the reconciliation of logics of agency and logics of event types
- DOING WITHOUT ACTION TYPES
- Choice-driven counterfactuals
- Restricted interpolation and lack thereof in stit logic
- A STIT logic for reasoning about social influence
- Reasoning about conditions in \textsf{STIT} logic
- A logical analysis of instrumentality judgments: means-end relations in the context of experience and expectations
- Complexity results of STIT fragments
- Weighted modal logic in epistemic and deontic contexts
- Decidability of an Xstit logic
- Stit semantics for epistemic notions based on information disclosure in interactive settings
- The categorical imperative: category theory as a foundation for deontic logic
- Decidability of logics based on an indeterministic metric tense logic
- Law and logic: a review from an argumentation perspective
- Normative reasoning and consequence
- Counterfactual and seeing-to-it responsibilities in strategic games
- Stit semantics for epistemic notions based on information disclosure in interactive settings
- Deontic STIT logic, from logical paradox to security policy
- ACTION TYPES IN STIT SEMANTICS
- A Logic-Based Analysis of Responsibility
- A stit logic of intentionality
This page was built for publication: Deontic epistemic stit logic distinguishing modes of mens rea
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q545173)