An Axiomatic System and a Tableau Calculus for STIT Imagination Logic

被引：0
作者：
Grigory K. Olkhovikov
Heinrich Wansing
机构：
[1] Ruhr-University Bochum,Department of Philosophy II
[2] Ural Federal University,Department of Philosophy
来源：
Journal of Philosophical Logic | 2018年 / 47卷
关键词：
Logic of imagination; STIT logic; Canonical models; Completeness; Axiomatization; Tableaux;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
We formulate a Hilbert-style axiomatic system and a tableau calculus for the STIT-based logic of imagination recently proposed in Wansing (2015). Completeness of the axiom system is shown by the method of canonical models; completeness of the tableau system is also shown by using standard methods.
引用
收藏
页码：259 / 279
页数：20
相关论文
共 10 条
  • [1] Balbiani P(2008)Alternative axiomatics and complexity of deliberative STIT theories Journal of Philosophical Logic 37 387-406
  • [2] Herzig A(2007)Labelled tableaux calculi for weak modal logics Bulletin of the Section of Logic 36 159-171
  • [3] Troquard N(2010)A logic for reasoning about counterfactual emotions Logical Properties of Imagination. Abstracta 6 103-116
  • [4] Indrzejczak A(2011)Imagination and fiction Artificial Intelligence 175 814-847
  • [5] Costa Leite A(1985)Combinations of stit with ought and know Journal of Semantics 4 209-222
  • [6] Lorini E(2015)Doxastic decisions, epistemic justification, and the logic of agency Journal of Philosophical Logic 44 851-877
  • [7] Schwarzentruber F(2006)undefined Philosophical Studies 128 201-227
  • [8] Niiniluoto I(undefined)undefined undefined undefined undefined-undefined
  • [9] Xu M(undefined)undefined undefined undefined undefined-undefined
  • [10] Wansing H(undefined)undefined undefined undefined undefined-undefined
1