THE DELIBERATIVE STIT - A STUDY OF ACTION, OMISSION, ABILITY, AND OBLIGATION

被引：126
|
作者：
HORTY, JF
BELNAP, N
机构：
[1] UNIV PITTSBURGH,DEPT PHILOSOPHY,PITTSBURGH,PA 15260
[2] UNIV MARYLAND,INST ADV COMP STUDIES,COLLEGE PK,MD 20742
来源：
JOURNAL OF PHILOSOPHICAL LOGIC | 1995年 / 24卷 / 06期
关键词：
D O I：
10.1007/BF01306968
中图分类号：
B81 [逻辑学（论理学）];
学科分类号：
010104 ; 010105 ;
摘要：
[No abstract available]
引用
下载
收藏
页码：583 / 644
页数：62
相关论文
共 50 条
  • [1] Axioms for deliberative stit
    Xu M.
    Journal of Philosophical Logic, 1998, 27 (5) : 505 - 552
  • [2] Obligation and the conditional in stit theory
    Davey K.
    Studia Logica, 2002, 72 (3) : 339 - 362
  • [3] The Instrumental Stit A Study of Action and Instrument
    Garbacz, Pawel
    FORMAL ONTOLOGY IN INFORMATION SYSTEMS, 2006, 150 : 167 - 178
  • [4] ALTERNATIVE AXIOMATICS AND COMPLEXITY OF DELIBERATIVE STIT THEORIES
    Philippe Balbiani
    Andreas Herzig
    Nicolas Troquard
    Journal of Philosophical Logic, 2008, 37 : 387 - 406
  • [5] Alternative axiomatics and complexity of deliberative STIT theories
    Balbiani, Philippe
    Herzig, Andreas
    Troquard, Nicolas
    JOURNAL OF PHILOSOPHICAL LOGIC, 2008, 37 (04) : 387 - 406
  • [6] THE OBLIGATION OF THE NEIGHBORHOOD IMPACT STUDY AND THE MUNICIPAL LEGISLATIVE OMISSION
    Martins Junior, Wallace Paiva
    Leite Silva de Lima, Maria Isabel
    VEREDAS DO DIREITO, 2016, 13 (27): : 157 - 178
  • [7] Proof-Theoretic Analysis of the Logics of Agency: The Deliberative STIT
    Negri, S.
    Pavlovic, E.
    STUDIA LOGICA, 2021, 109 (03) : 473 - 507
  • [8] ACTION TYPES IN STIT SEMANTICS
    Horty, John
    Pacuit, Eric
    REVIEW OF SYMBOLIC LOGIC, 2017, 10 (04): : 617 - 637
  • [9] Axioms for deliberative 'stit' (Choice formulas and nested choice formulas)
    Xu, M
    JOURNAL OF PHILOSOPHICAL LOGIC, 1998, 27 (05) : 505 - 552
  • [10] Proof-Theoretic Analysis of the Logics of Agency: The Deliberative STIT
    S. Negri
    E. Pavlović
    Studia Logica, 2021, 109 : 473 - 507
12345