Studia Logica 51 (3-4):533 - 550 (1992)
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)|
References found in this work BETA
Validity and Satisfaction in Imperative Logic.Krister Segerberg - 1990 - Notre Dame Journal of Formal Logic 31 (2):203--221.
Citations of this work BETA
No citations found.
Similar books and articles
The Surprise Examination Paradox and the Second Incompleteness Theorem.Shira Kritchman & Ran Raz - unknown
The Incompleteness of Theories of Games.Marcelo Tsuji, Newton C. A. Costa & Francisco A. Doria - 1998 - Journal of Philosophical Logic 27 (6):553-568.
Indexical Reference and Bodily Causal Diagrams in Intentional Action.Hector -Neri Castañeda - 1992 - Studia Logica 51 (3-4):439 - 462.
Joint Action and Group Action Made Precise.Gabriel Sandu & Raimo Tuomela - 1995 - Synthese 105 (3):319 - 345.
Arithmetic and Logic Incompleteness: The Link.Laureano Luna & Alex Blum - 2008 - The Reasoner 2 (3):6.
Intentions, Actions and Routines: A Problem in Krister Segerberg's Theory of Action.Dag Elgesem - 1990 - Synthese 85 (1):153 - 177.
Added to index2009-01-28
Total downloads21 ( #234,659 of 2,158,876 )
Recent downloads (6 months)1 ( #354,157 of 2,158,876 )
How can I increase my downloads?