Academic Journals Database
Disseminating quality controlled scientific knowledge

Logic, planning agency and branching time

ADD TO MY LIST
 
Author(s): Ricardo Souza Silvestre

Journal: Principia : an International Journal of Epistemology
ISSN 1414-4247

Volume: 14;
Issue: 3;
Start page: 421;
Date: 2010;
Original page

Keywords: Modal logic of action | planning agency | branching time theory

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.
Why do you need a reservation system?      Save time & money - Smart Internet Solutions