Logic, planning agency and branching time

Principia: An International Journal of Epistemology. 2010;14(3):421-438


Journal Homepage

Journal Title: Principia: An International Journal of Epistemology

ISSN: 1414-4247 (Print); 1808-1711 (Online)

Publisher: Universidade Federal de Santa Catarina

Society/Institution: Universidade Federal de Santa Catarina, Núcleo de Epistemologia e Lógica

LCC Subject Category: Philosophy. Psychology. Religion: Philosophy (General)

Country of publisher: Brazil

Language of fulltext: French, Spanish, English, Portuguese

Full-text formats available: PDF



Ricardo Souza Silvestre


Blind peer review

Editorial Board

Instructions for authors

Time From Submission to Publication: 18 weeks


Abstract | Full Text

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.