A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’

DOI10.1007/978-3-540-70525-3_12zbMath1143.03335OpenAlexW1574993507MaRDI QIDQ3522047

Jan M. Broersen

Publication date: 28 August 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-70525-3_12

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44)

Related Items (18)

Combinations of \textit{stit} with \textit{ought} and \textit{know} ⋮ Ten Problems of Deontic Logic and Normative Reasoning in Computer Science ⋮ A Logic of Knowing How ⋮ Temporal logic and its application to normative reasoning ⋮ Complexity results of STIT fragments ⋮ Combinations of stit and actions ⋮ Decidability of logics based on an indeterministic metric tense logic ⋮ DOING WITHOUT ACTION TYPES ⋮ ACTION TYPES IN STIT SEMANTICS ⋮ A logic of goal-directed knowing how ⋮ Making a start with the stit logic analysis of intentional action ⋮ Agency and fictional truth: a formal study on fiction-making ⋮ Actions as events ⋮ Deontic epistemic stit logic distinguishing modes of mens rea ⋮ A dynamic logic of agency. I: STIT, capabilities and powers ⋮ Knowing-how under uncertainty ⋮ REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION ⋮ Knowing the price of success

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
• 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
• Many-dimensional modal logics: theory and applications
• The logic of knowledge based obligation
• Embedding Alternating-time Temporal Logic in Strategic Logic of Agency
• Alternating-time temporal logic
• Conflicting Obligations in Multi-agent Deontic Logic
• A STIT-Extension of ATL
• Constructive knowledge: what agents can achieve under imperfect information
• A Modal Logic for Coalitional Power in Games

This page was built for publication: A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’