David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
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)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
Mark A. Brown (1988). On the Logic of Ability. Journal of Philosophical Logic 17 (1):1 - 26.
Brian F. Chellas (1980). Modal Logic: An Introduction. Cambridge University Press.
Citations of this work BETA
No citations found.
Similar books and articles
Slavian Radev (1987). Infinitary Propositional Normal Modal Logic. Studia Logica 46 (4):291 - 309.
Timothy Williamson (1998). Continuum Many Maximal Consistent Normal Bimodal Logics with Inverses. Notre Dame Journal of Formal Logic 39 (1):128-134.
Tadeusz Litak & Frank Wolter (2005). All Finitely Axiomatizable Tense Logics of Linear Time Flows Are CoNP-Complete. Studia Logica 81 (2):153 - 165.
Dominic Gregory (2001). Completeness and Decidability Results for Some Propositional Modal Logics Containing “Actually” Operators. Journal of Philosophical Logic 30 (1):57-78.
John Chidgey (1979). On the Non-Availability of Dawson-Modeling Into Certain Relevance Alethic Modal Logics. Studia Logica 38 (2):89 - 94.
Mark A. Brown (1996). A Logic of Comparative Obligation. Studia Logica 57 (1):117 - 137.
Marcus Kracht & Frank Wolter (1999). Normal Monomodal Logics Can Simulate All Others. Journal of Symbolic Logic 64 (1):99-138.
Walter Sinnott-Armstrong & Amit Malhotra (2002). How to Avoid Deviance (in Logic). History and Philosophy of Logic 23 (3):215--36.
Lloyd Humberstone & Timothy Williamson (1997). Inverses for Normal Modal Operators. Studia Logica 59 (1):33-64.
Marcus Kracht & Frank Wolter (1997). Simulation and Transfer Results in Modal Logic – a Survey. Studia Logica 59 (2):149-177.
Added to index2009-01-28
Total downloads9 ( #151,125 of 1,096,595 )
Recent downloads (6 months)1 ( #258,571 of 1,096,595 )
How can I increase my downloads?