Action incompleteness
Studia Logica 51 (3-4):533 - 550 (1992)
| Abstract | The author has previously introduced an operator into dynamic logic which takes formulae to terms; the suggested reading of A was the bringing about of A or the seeing to it that A. After criticism from S. K. Thomason and T. J. Surendonk the author now presents an improved version of his theory. The crucial feature is the introduction of an operatorOK taking terms to formulae; the suggested reading of OK is always terminates. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesMarcelo Tsuji, Newton C. A. Costdaa & Francisco A. Doria (1998). The Incompleteness of Theories of Games. Journal of Philosophical Logic 27 (6):553-568.
Hector -Neri Castañeda (1992). Indexical Reference and Bodily Causal Diagrams in Intentional Action. Studia Logica 51 (3-4):439 - 462.
Gabriel Sandu & Raimo Tuomela (1995). Joint Action and Group Action Made Precise. Synthese 105 (3):319 - 345.
Krister Segerberg (1984). A Topological Logic of Action. Studia Logica 43 (4):415 - 419.
Laureano Luna & Alex Blum (2008). Arithmetic and Logic Incompleteness: The Link. The Reasoner 2 (3):6.
Raymond M. Smullyan (1993). Recursion Theory for Metamathematics. Oxford University Press.
Krister Segerberg (1982). A Deontic Logic of Action. Studia Logica 41 (2-3):269 - 282.
Dag Elgesem (1990). Intentions, Actions and Routines: A Problem in Krister Segerberg's Theory of Action. Synthese 85 (1):153 - 177.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads12 ( #93,408 of 549,094 )Recent downloads (6 months)1 ( #63,361 of 549,094 )How can I increase my downloads? |
My notes
Discussion
