Logic, planning agency and branching time
Vol 14, No 3 (2010) • Principia: an international journal of epistemology
Autor: Ricardo Souza Silvestre
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.
ISSN: 1414-4217
DOI: DOI:10.5007/1808-1711.2010v14n3p421
Texto Completo: https://periodicos.ufsc.br/index.php/principia/article/view/1808-1711.2010v14n3p421/18714
Palavras-Chave: Modal logic of action; planning agency; branc
Principia: an international journal of epistemology
!["PRINCIPIA]("http://anpof.org/portal/images/portal_periodicos_eletronicos_2017/PRINCIPIA-CABECALHO.jpg")
"Principia: an international journal of epistemology" was founded in 1997 and regularly publishes articles, discussions and review. The journal aims to publish original scholarly work especially in epistemology area , with an emphasis on material of general interest to academic philosophers. Originally published only in print version (ISSN: 1414-4247), in 2005 the journal began to be published also in online version (ISSN: 1808-1711). Since 1999 are published three issues per year: in April, August and December. Qualis CAPES: A2