Deontic epistemic stit logic distinguishing modes of mens rea

DOI10.1016/J.JAL.2010.06.002zbMath1221.03017OpenAlexW1982340558MaRDI QIDQ545173

Jan M. Broersen

Publication date: 22 June 2011

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2010.06.002

zbMATH Keywords

modal logicdeontic logiclogic of actionformalization of legal conceptsjuridical systemsmens reaphilosophy of actionstit theory

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)

Related Items (22)

Combinations of \textit{stit} with \textit{ought} and \textit{know} ⋮ Choice-driven counterfactuals ⋮ Some forms of collectively bringing about or `seeing to it that' ⋮ A STIT logic for reasoning about social influence ⋮ Weighted modal logic in epistemic and deontic contexts ⋮ Complexity results of STIT fragments ⋮ A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms ⋮ A logical analysis of instrumentality judgments: means-end relations in the context of experience and expectations ⋮ Unnamed Item ⋮ Counterfactual and seeing-to-it responsibilities in strategic games ⋮ A Logic-Based Analysis of Responsibility ⋮ Decidability of logics based on an indeterministic metric tense logic ⋮ Law and logic: a review from an argumentation perspective ⋮ DOING WITHOUT ACTION TYPES ⋮ ACTION TYPES IN STIT SEMANTICS ⋮ RESTRICTED INTERPOLATION AND LACK THEREOF IN STIT LOGIC ⋮ Decidability of an Xstit logic ⋮ Making a start with the stit logic analysis of intentional action ⋮ The categorical imperative: category theory as a foundation for deontic logic ⋮ Stit semantics for epistemic notions based on information disclosure in interactive settings ⋮ Deontic STIT logic, from logical paradox to security policy ⋮ On the Reconciliation of Logics of Agency and Logics of Event Types

Uses Software

• SQEMA

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• Time and modality in the logic of agency
• Conditional obligation, deontic paradoxes, and the logic of agency
• A knowledge based semantics of messages
• Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
• The deliberative stit: A study of action, omission, ability, and obligation
• Moral conflicts between groups of agents
• The logic of knowledge based obligation
• Alternating-time temporal logic
• A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’
• A STIT-Extension of ATL
• A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
• A Modal Logic for Coalitional Power in Games
• Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA

This page was built for publication: Deontic epistemic stit logic distinguishing modes of mens rea