The logic of knowledge based obligation

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

Eva Cogan, Rohit Parikh, Eric Pacuit

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)

Cites Work

• Two modellings for theory change
• Bounded model checking for deontic interpreted systems
• Social software
• Title not available (Why is that?)
• Title not available (Why is that?)
• Deontic interpreted systems
• A knowledge based semantics of messages
• The dynamic logic of permission
• The complexity of reasoning about knowledge and time. I: Lower bounds
• Title not available (Why is that?)
• Title not available (Why is that?)
• Complete Axiomatizations for Reasoning about Knowledge and Time
• Title not available (Why is that?)

Cited In (16)

• Logics of Rational Interaction
• Combinations of \textit{stit} with \textit{ought} and \textit{know}
• Deontic epistemic stit logic distinguishing modes of mens rea
• A Non-classical Logical Approach to Social Software
• Parikh and Wittgenstein
• The Logic of Obligation as Weakest Permission
• Ten Problems of Deontic Logic and Normative Reasoning in Computer Science
• A logic of comparative obligation
• 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
• Conditional Ought, a Game Theoretical Perspective
• Logic and social cognition. The facts matter, and so do computational models
• A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’
• A dynamic logic of agency. I: STIT, capabilities and powers
• A history based logic for dynamic preference updates

   Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’ 👍 👎
• Obligations in a responsible world 👍 👎

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)