Deontic epistemic stit logic distinguishing modes of mens rea

DOI10.1016/J.JAL.2010.06.002zbMATH Open1221.03017OpenAlexW1982340558MaRDI QIDQ545173FDOQ545173

Jan 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

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

zbMATH Keywords

deontic logiclogic of actionmodal logicformalization of legal conceptsjuridical systemsmens reaphilosophy of actionstit theory

Mathematics Subject Classification ID

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

Cites Work

• Modal logic
• Alternating-time temporal logic
• Time and modality in the logic of agency
• Conditional obligation, deontic paradoxes, and the logic of agency
• The deliberative stit: A study of action, omission, ability, and obligation
• Moral conflicts between groups of agents
• The logic of knowledge based obligation
• From coalition logic to STIT
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA
• Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
• A knowledge based semantics of messages
• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• Title not available (Why is that?)

Cited In (24)

• Combinations of \textit{stit} with \textit{ought} and \textit{know}
• Making norms and following norms
• Some forms of collectively bringing about or `seeing to it that'
• A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms
• Making a start with the stit logic analysis of intentional action
• DOING WITHOUT ACTION TYPES
• Title not available (Why is that?)
• Choice-driven counterfactuals
• A logical analysis of instrumentality judgments: means-end relations in the context of experience and expectations
• A STIT logic for reasoning about social influence
• Complexity results of STIT fragments
• Weighted modal logic in epistemic and deontic contexts
• Decidability of an Xstit logic
• 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
• 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
• On the Reconciliation of Logics of Agency and Logics of Event Types
• ACTION TYPES IN STIT SEMANTICS
• RESTRICTED INTERPOLATION AND LACK THEREOF IN STIT LOGIC
• A Logic-Based Analysis of Responsibility
• A stit logic of intentionality

Uses Software

• SQEMA

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)