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

DOI10.1007/978-3-540-70525-3_12zbMath1143.03335MaRDI 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

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

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

03B44: Temporal logic

Related Items

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

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