Logic, planning agency and branching time

Authors

  • Ricardo Souza Silvestre Departamento de Filosofia Universidade Federal de Campina Grande

DOI:

https://doi.org/10.5007/1808-1711.2010v14n3p421

Abstract

The purpose of this paper is to give a formal account of a kind of agency so far neglected in the field of philosophical modal logic of action: planning agency. In doing this we follow the standard approach of modal logics of agency exemplified by the works of Belnap, Chellas and Pörn. Since we believe there is a close relation between planning, time and indeterminism, we use the theory of branching time as a conceptual framework for investigating the basic features of planning agency. Besides introducing a branching-time semantics, we also provide a calculus sound and complete with respect to this semantics.

Author Biography

Ricardo Souza Silvestre, Departamento de Filosofia Universidade Federal de Campina Grande

Professor do Departamento de Filosofia,

Universidade Federal de Campina Grande

Published

2010-09-27

Issue

Section

Articles