ON AN EPISTEMIC APPROACH TO LOGIC

被引：0
|
作者：
TILES, JE
机构：
来源：
AUSTRALASIAN JOURNAL OF PHILOSOPHY | 1981年 / 59卷 / 01期
关键词：
D O I：
10.1080/00048408112340061
中图分类号：
B [哲学、宗教];
学科分类号：
01 ; 0101 ;
摘要：
引用
收藏
页码：86 / 91
页数：6
相关论文
共 50 条
  • [1] An epistemic approach to paraconsistency: a logic of evidence and truth
    Carnielli, Walter
    Rodrigues, Abilio
    [J]. SYNTHESE, 2019, 196 (09) : 3789 - 3813
  • [2] An epistemic approach to paraconsistency: a logic of evidence and truth
    Walter Carnielli
    Abilio Rodrigues
    [J]. Synthese, 2019, 196 : 3789 - 3813
  • [3] A Lazy Approach to Temporal Epistemic Logic Model Checking
    Cimatti, Alessandro
    Gario, Marco
    Tonetta, Stefano
    [J]. AAMAS'16: PROCEEDINGS OF THE 2016 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS, 2016, : 1218 - 1226
  • [4] A model based approach for epistemic logic program updates
    Lakkaraju, SK
    [J]. PROCEEDINGS OF THE IASTED INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND APPLICATIONS, VOLS 1AND 2, 2004, : 518 - 523
  • [5] Intuitionistic logic as epistemic logic
    Hintikka, J
    [J]. SYNTHESE, 2001, 127 (1-2) : 7 - 19
  • [6] Intuitionistic Logic As Epistemic Logic
    Jaakko Hintikka
    [J]. Synthese, 2001, 127 : 7 - 19
  • [7] Epistemic Logic and the Problem of Epistemic Closure
    Quadrellaro, Davide
    [J]. RIVISTA ITALIANA DI FILOSOFIA ANALITICA JUNIOR, 2018, 9 (02) : 138 - 151
  • [8] Epistemic Logic and the Problem of Epistemic Closure
    Quadrellaro, Davide Emilio
    [J]. RIVISTA ITALIANA DI FILOSOFIA ANALITICA JUNIOR, 2016, 7 (02) : 3 - 16
  • [9] Iterated Belief Base Revision: A Dynamic Epistemic Logic Approach
    Souza, Marlo
    Moreira, Alvaro
    Vieira, Renata
    [J]. THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2019, : 3076 - 3083
  • [10] REDUCTION OF DOXASTIC LOGIC TO EPISTEMIC LOGIC
    BACON, J
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (01) : 199 - 199
12345