Logic, planning agency and branching time


Authors
Ricardo Sousa Silvestre
Federal University of Campina Grande
Abstract
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. DOI:10.5007/1808-1711.2010v14n3p421
Keywords ação em plano  Lógica modal da ação  branching time theory  teoria do tempo ramificado  planning agency  Modal logic of action
Categories (categorize this paper)
Reprint years 2011
DOI 10.5007/1808-1711.2010v14n3p421
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 49,040
Through your library

References found in this work BETA

Intention, Plans, and Practical Reason.Michael Bratman - 1987 - Cambridge, MA: Harvard University Press.
A Theory of Human Action.Alvin I. Goldman - 1970 - Princeton University Press.
Intention.P. L. Heath - 1960 - Philosophical Quarterly 10 (40):281.

View all 18 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Crença, regra e ação.Luiz Henrique de Araújo Dutra - 2010 - Principia: An International Journal of Epistemology 14 (2):279-308.
Hybrid Type Theory: A Quartet in Four Movements.Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano - 2011 - Principia: An International Journal of Epistemology 15 (2):225.
Branching Space-Time, Modal Logic, and the Counterfactual Conditional.Thomas Muller - 2001 - In T. Placek & J. Butterfield (eds.), Non-Locality and Modality. Kluwer Academic Publishers. pp. 273--291.
Epistemologic Controversy on Quantum Operators.Rafael-Andrés Alemañ-Berenguer - 2010 - Principia: An International Journal of Epistemology 14 (2):241-253.

Analytics

Added to PP index
2013-04-12

Total views
27 ( #355,811 of 2,311,184 )

Recent downloads (6 months)
1 ( #753,181 of 2,311,184 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature