Acting, Events and Actions

  • Mark A. Brown
Conference paper

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

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5076)
Cite this paper as:
Brown M.A. (2008) Acting, Events and Actions. 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

A logic of action is essential for many treatments of normative concerns, but most treatments either ignore the role of agents, as in PDL, or omit all possibility of naming actions, as in various versions of stit theory. Moreover, most treatments of either type do not attempt to provide an account of what actions are, in a way that would distinguish actions from other processes or events. In this paper, I explore an account of actions as a species of events, with events interpreted against a background of the logic of branching time. This opens a new approach to exploring the relations between logics of personal action (e.g. Belnap’s and Horty’s stit theories) and impersonal logics of actions such as PDL, and offers some prospect of a deontic logic which integrates tunsollen (ought to do) into a system of seinsollen (ought to be).

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

  • Mark A. Brown
    • 1
  1. 1.Philosophy DepartmentSyracuse UniversitySyracuseUSA

Personalised recommendations