MENTAL MODELS AND TABLEAU LOGIC

被引：2
|
作者：
ANDREWS, AD
机构：
[1] Department of Linguistics, The Australian National University, Canberra
来源：
BEHAVIORAL AND BRAIN SCIENCES | 1993年 / 16卷 / 02期
关键词：
D O I：
10.1017/S0140525X00030272
中图分类号：
B84 [心理学];
学科分类号：
04 ; 0402 ;
摘要：
[No abstract available]
引用
收藏
页码：334 / 334
页数：1
相关论文
共 50 条
  • [31] Tableau approach of fuzzy propositional modal logic
    Liu L.
    Wang Q.
    Lyu S.
    Lyu, Shuai (lus@jlu.edu.cn), 1600, Editorial Board of Journal of Harbin Engineering (38): : 914 - 920
  • [32] A tableau method for interval temporal logic with projection
    Bowman, H
    Thompson, S
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 1998, 1397 : 108 - 123
  • [33] An analytic tableau calculus for a temporalised belief logic
    Ma, Ji
    Orgun, Mehmet A.
    Adi, Kamel
    JOURNAL OF APPLIED LOGIC, 2011, 9 (04) : 289 - 304
  • [34] A tableau calculus for Hajek's Logic BL
    Montagna, F
    Pinna, GM
    Tiezzi, EBP
    JOURNAL OF LOGIC AND COMPUTATION, 2003, 13 (02) : 241 - 259
  • [35] A Tableau Algorithm for Possibilistic Description Logic ALC
    Qi, Guilin
    Pan, Jeff Z.
    WEB REASONING AND RULE SYSTEMS, PROCEEDINGS, 2008, 5341 : 238 - +
  • [36] A comparative study of mental logic and mental models in spatial relation reasoning
    Qiu, Q
    Hu, ZJ
    Cao, CX
    INTERNATIONAL JOURNAL OF PSYCHOLOGY, 2004, 39 (5-6) : 413 - 413
  • [37] A tableau proof system for a Mazurkiewicz trace logic with fixpoints
    Niebert, P
    Sprick, B
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 1997, 1227 : 291 - 306
  • [38] Terminating tableau systems for hybrid logic with difference and converse
    Kaminski M.
    Smolka G.
    Journal of Logic, Language and Information, 2009, 18 (4) : 437 - 464
  • [39] An Axiomatic System and a Tableau Calculus for STIT Imagination Logic
    Olkhovikov, Grigory K.
    Wansing, Heinrich
    JOURNAL OF PHILOSOPHICAL LOGIC, 2018, 47 (02) : 259 - 279
  • [40] Tableau Development for a Bi-intuitionistic Tense Logic
    Stell, John G.
    Schmidt, Renate A.
    Rydeheard, David
    RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE (RAMICS 2014), 2014, 8428 : 412 - 428
12345