Logic, planning agency and branching time

Principia

Endereço:
Campus Universitário, Caixa Postal 476
Florianópolis / SC
0
Site: http://www.periodicos.ufsc.br/index.php/principia/index
Telefone: (48) 3721-8612
ISSN: 1808-1711
Editor Chefe: Luiz Henrique Araújo Dutra
Início Publicação: 31/05/2007
Periodicidade: Quadrimestral
Área de Estudo: Filosofia

Logic, planning agency and branching time

Ano: 2010 | Volume: 14 | Número: 3
Autores: Ricardo Souza Silvestre
Autor Correspondente: Silvestre, R. | [email protected]

Palavras-chave: Lógica modal da ação, ação em plano, teoria do tempo ramificado.

Resumos Cadastrados

Resumo Português:

O propósito desse artigo é fornecer um tratamento formal para um tipo de ação
até o momento negligenciada nas lógicas modais filosóficas da ação: ação em plano. Ao
fazer isso nós seguimos a abordagem padrão nas lógicas modais da ação exemplificados
pelos trabalhos de Belnap, Chellas and Pörn. Como nós acreditamos que existe uma relação
forte entre plano, tempo e indeterminismo, nós usamos a teoria do tempo ramificado para
investigar as características básicas da ação em plano. Além de introduzir uma semântica do
tempo ramificado, nós também apresentamos um cálculo correto e completo com relação a
essa semântica.



Resumo Inglês:

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.