Studia Logica 51 (3-4):519 - 532 (1992)
The basic bimodal systemK/K can be interpreted as an analysis of the logic of ability developed in . Where in  we would express the claimI can bring it about that P using the formula, with its non-normal operator, we will now use the formula. Here is a normal alethic possibilitation operator.is a normal necessitation operator, but it is independent of, and not subject to an alethic interpretation. Rather, is interpreted to meanI bring it about that P. The result is a simplification and clarification of a combined logic of ability and action like that in , but employing only normal operators.A number of extensions of the basic systemK/K are constructed, first by strengthening the two normal sublogics independently and then by linking the two sublogics via axiom schemata involving both operators. The result is a series of increasingly strong systems which more and more adequately fulfill our expectations for a satisfactory logic of action and ability.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
Citations of this work BETA
Agential Obligation as Non-Agential Personal Obligation Plus Agency.Paul McNamara - 2004 - Journal of Applied Logic 2 (1):117-152.
Combinations of Stit with Ought and Know.Ming Xu - forthcoming - Journal of Philosophical Logic:1-27.
Similar books and articles
Continuum Many Maximal Consistent Normal Bimodal Logics with Inverses.Timothy Williamson - 1998 - Notre Dame Journal of Formal Logic 39 (1):128-134.
Completeness and Decidability Results for Some Propositional Modal Logics Containing “Actually” Operators.Dominic Gregory - 2001 - Journal of Philosophical Logic 30 (1):57-78.
On the Non-Availability of Dawson-Modeling Into Certain Relevance Alethic Modal Logics.John Chidgey - 1979 - Studia Logica 38 (2):89 - 94.
Normal Monomodal Logics Can Simulate All Others.Marcus Kracht & Frank Wolter - 1999 - Journal of Symbolic Logic 64 (1):99-138.
How to Avoid Deviance (in Logic).Walter Sinnott-Armstrong & Amit Malhotra - 2002 - History and Philosophy of Logic 23 (3):215--36.
Inverses for Normal Modal Operators.Lloyd Humberstone & Timothy Williamson - 1997 - Studia Logica 59 (1):33-64.
Simulation and Transfer Results in Modal Logic – a Survey.Marcus Kracht & Frank Wolter - 1997 - Studia Logica 59 (2):149-177.
Added to index2009-01-28
Total downloads14 ( #327,222 of 2,154,175 )
Recent downloads (6 months)1 ( #397,226 of 2,154,175 )
How can I increase my downloads?