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||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Marcelo 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.
Added to index2009-01-28
Total downloads12 ( #101,098 of 722,746 )
Recent downloads (6 months)1 ( #60,247 of 722,746 )
How can I increase my downloads?