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 条
  • [41] A tableau system for linear-TIME temporal logic
    Schmitt, PH
    GoubaultLarrecq, J
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 1997, 1217 : 130 - 144
  • [42] MENTAL MODELS CANNOT EXCLUDE MENTAL LOGIC, AND MAKE LITTLE SENSE WITHOUT IT
    BRAINE, MDS
    BEHAVIORAL AND BRAIN SCIENCES, 1993, 16 (02) : 338 - 339
  • [43] Efficient Semantic Tableau Generation for Abduction in Propositional Logic
    Yang, Yifan
    De Aldama, Ricardo
    Atif, Jamal
    Bloch, Isabelle
    ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, 285 : 1756 - 1757
  • [44] Dual tableau for monoidal triangular norm logic MTL
    Golinska-Pilarek, Joanna
    Orlowska, Ewa
    FUZZY SETS AND SYSTEMS, 2011, 162 (01) : 39 - 52
  • [45] A Tableau Calculus for a Multi-modal Logic of Dishonesty
    Pavlovic, Sanja
    Tompits, Hans
    AI*IA 2018 - ADVANCES IN ARTIFICIAL INTELLIGENCE, 2018, 11298 : 238 - 251
  • [46] Analytic tableau calculi for KLM rational logic R
    Giordano, Laura
    Gliozzi, Valentina
    Olivetti, Nicola
    Pozzato, Gian Luca
    LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2006, 4160 : 190 - 202
  • [47] An Axiomatic System and a Tableau Calculus for STIT Imagination Logic
    Grigory K. Olkhovikov
    Heinrich Wansing
    Journal of Philosophical Logic, 2018, 47 : 259 - 279
  • [48] Tableau-based decision procedures for hybrid logic
    Bolander, Thomas
    Brauener, Torben
    JOURNAL OF LOGIC AND COMPUTATION, 2006, 16 (06) : 737 - 763
  • [49] Logic and mental logic
    Krause, B
    Gauger, U
    INTERNATIONAL JOURNAL OF PSYCHOLOGY, 1996, 31 (3-4) : 3783 - 3783
  • [50] TABLEAU-BASED TRANSLATION FROM FIRST-ORDER LOGIC TO MODAL LOGIC
    Perkov, Tin
    Mikec, Luka
    REPORTS ON MATHEMATICAL LOGIC, 2021, 56 : 57 - 74
12345