A Logical Analysis of the Interaction between `Obligation-to-do' and `Knowingly Doing'

Authors:
Jan Broersen
Affiliations:
Department of Information and Computing Sciences, Utrecht University, The Netherlands
Venue:
DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
Year:
2008

Citing 12
Cited 4

Temporal and modal logic

Handbook of theoretical computer science (vol. B)
Modal logic

Modal logic
Alternating-time temporal logic

Journal of the ACM (JACM)
Alternating-time Temporal Logic

FOCS '97 Proceedings of the 38th Annual Symposium on Foundations of Computer Science
A Knowledge Based Semantics of Messages

Journal of Logic, Language and Information
Knowing how to play: uniform choices in logics of agency

AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Embedding Alternating-time Temporal Logic in Strategic Logic of Agency

Journal of Logic and Computation
Agents that Know How to Play

Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
A normal simulation of coalition logic and an epistemic extension

TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
From Coalition Logic to STIT

Electronic Notes in Theoretical Computer Science (ENTCS)
A STIT-Extension of ATL

JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Conflicting obligations in multi-agent deontic logic

DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems

Combinations of Stit and Actions

Journal of Logic, Language and Information
Ten problems of deontic logic and normative reasoning in computer science

ESSLLI'10 Proceedings of the 2010 conference on ESSLLI 2010, and ESSLLI 2011 conference on Lectures on Logic and Computation
On the logical foundations of moral agency

DEON'12 Proceedings of the 11th international conference on Deontic Logic in Computer Science
Complexity Results of STIT Fragments

Studia Logica

Quantified Score

Hi-index	0.00

Visualization

Abstract

Within a STIT framework, this paper presents a logical study of the interaction between `ought-to-do', and an epistemic notion of `knowingly doing'. We start out with some motivating examples concerning the interaction between action, obligation and knowledge. Then we present a complete temporal STIT logic including operators for action, obligation and knowledge. We use the logic to analyze the examples and discuss open problems.