Deontic epistemic stit logic distinguishing modes of mens rea

DOI10.1016/j.jal.2010.06.002zbMath1221.03017MaRDI 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 logic; deontic logic; logic of action; formalization of legal concepts; juridical systems; mens rea; philosophy of action; stit theory

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

68T27: Logic in artificial intelligence

03B42: Logics of knowledge and belief (including belief change)

Related Items

ACTION TYPES IN STIT SEMANTICS, Unnamed Item, On the Reconciliation of Logics of Agency and Logics of Event Types, RESTRICTED INTERPOLATION AND LACK THEREOF IN STIT LOGIC, Stit semantics for epistemic notions based on information disclosure in interactive settings, Combinations of \textit{stit} with \textit{ought} and \textit{know}, A STIT logic for reasoning about social influence, Decidability of an Xstit logic, The categorical imperative: category theory as a foundation for deontic logic, Making a start with the stit logic analysis of intentional action, Some forms of collectively bringing about or `seeing to it that', Decidability of logics based on an indeterministic metric tense logic, Law and logic: a review from an argumentation perspective, Deontic STIT logic, from logical paradox to security policy, Complexity results of STIT fragments, Choice-driven counterfactuals, Weighted modal logic in epistemic and deontic contexts

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