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

  • Jan Broersen
Conference paper

DOI: 10.1007/978-3-540-70525-3_12

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5076)
Cite this paper as:
Broersen J. (2008) A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’. In: van der Meyden R., van der Torre L. (eds) Deontic Logic in Computer Science. DEON 2008. Lecture Notes in Computer Science, vol 5076. Springer, Berlin, Heidelberg

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Jan Broersen
    • 1
  1. 1.Department of Information and Computing SciencesUtrecht UniversityThe Netherlands

Personalised recommendations