The logic of knowledge based obligation

DOI10.1007/S11229-005-3877-6zbMATH Open1103.03009OpenAlexW2153637720MaRDI QIDQ2500829FDOQ2500829

Authors Eric Pacuit, Rohit Parikh, Eva Cogan

Publication date 18 August 2006

Published in Synthese (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11229-005-3877-6

zbMATH Keywords

nonmonotonic reasoningdeontic logicjustified belieflogic of knowledgehistory-based Kripke semanticsknowledge-based obligation

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45)

Recommendations

• scientific article; zbMATH DE number 1163376
• scientific article; zbMATH DE number 1139235
• scientific article; zbMATH DE number 1318509
• A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’
• Obligations in a responsible world

Cites work

• scientific article; zbMATH DE number 5734944 (Why is no real title available?)
• scientific article; zbMATH DE number 3902018 (Why is no real title available?)
• scientific article; zbMATH DE number 1749193 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• A knowledge based semantics of messages
• Agency and deontic logic
• Bounded model checking for deontic interpreted systems
• Complete Axiomatizations for Reasoning about Knowledge and Time
• Deontic interpreted systems
• Social software
• The complexity of reasoning about knowledge and time. I: Lower bounds
• The dynamic logic of permission
• Two modellings for theory change

Cited in

(18)

• Deontic epistemic stit logic distinguishing modes of mens rea
• Conditional ought, a game theoretical perspective
• Logics of rational interaction
• A non-classical logical approach to social software
• A dynamic logic of agency. I: STIT, capabilities and powers
• Logic and social cognition. The facts matter, and so do computational models
• Obligations in a responsible world
• A logic of comparative obligation
• Parikh and Wittgenstein
• Need to Know: Questions and the Paradox of Epistemic Obligation
• The Logic of Obligation as Weakest Permission
• A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’
• Combinations of \textit{stit} with \textit{ought} and \textit{know}
• Ten problems of deontic logic and normative reasoning in computer science
• Computation as social agency: what, how and who
• How knowledge triggers obligation. A dynamic logic of epistemic conditional obligation
• The Calculus of Responsibility and Commitment
• A history based logic for dynamic preference updates

This page was built for publication: The logic of knowledge based obligation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2500829)