Electronic Resource
Springer
Journal of philosophical logic
27 (1998), S. 505-552
ISSN:
1573-0433
Keywords:
logic of agency
;
logic of action
;
stit
;
deliberative stit
Source:
Springer Online Journal Archives 1860-2000
Topics:
Philosophy
Notes:
Abstract Based on a notion of “companions to stit formulas” applied in other papers dealing with astit logics, we introduce “choice formulas” and “nested choice formulas” to prove the completeness theorems for dstit logics in a language with the dstit operator as the only non-truth-functional operator. The main logic discussed in this paper is the basic logic of dstit with multiple agents, other logics discussed include the basic logic of dstit with a single agent and some logics of dstit with multiple agents each of which corresponds to a semantic condition concerning the number of possible choices for agents.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1023/A:1004274131669
Permalink
Library |
Location |
Call Number |
Volume/Issue/Year |
Availability |