Autoepistemic logic of first order and its expressive power

被引：0
|
作者：
机构：
[1] Yuan, Li-Yan
来源：
Yuan, Li-Yan | 1600年 / Kluwer Academic Publishers, Dordrecht, Netherlands卷 / 13期
关键词：
Formal logic;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] AUTOEPISTEMIC LOGIC OF FIRST-ORDER AND ITS EXPRESSIVE POWER
    YUAN, LY
    JOURNAL OF AUTOMATED REASONING, 1994, 13 (01) : 69 - 82
  • [2] On the Expressive Power of TeamLTL and First-Order Team Logic over Hyperproperties
    Kontinen, Juha
    Sandstrom, Max
    LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WOLLIC 2021), 2021, 13038 : 302 - 318
  • [3] On the expressive power of first-order modal logic with two-dimensional operators
    Kocurek, Alexander W.
    SYNTHESE, 2018, 195 (10) : 4373 - 4417
  • [4] On the expressive power of first-order modal logic with two-dimensional operators
    Alexander W. Kocurek
    Synthese, 2018, 195 : 4373 - 4417
  • [5] On fork arrow logic and its expressive power
    Veloso, Paulo A. S.
    de Freitas, Renata P.
    Viana, Petrucio
    Benevides, Mario
    Veloso, Sheila R. M.
    JOURNAL OF PHILOSOPHICAL LOGIC, 2007, 36 (05) : 489 - 509
  • [6] On Fork Arrow Logic and its Expressive Power
    Paulo A. S. Veloso
    Renata P. de Freitas
    Petrucio Viana
    Mario Benevides
    Sheila R. M. Veloso
    Journal of Philosophical Logic, 2007, 36 : 489 - 509
  • [7] On the Expressive Power of First Order-Logic Extended with Allen's Relations in the Strict Case
    Conradie, Willem
    Sciavicco, Guido
    ADVANCES IN ARTIFICIAL INTELLIGENCE, 2011, 7023 : 173 - +
  • [8] Perceptual simulations can be as expressive as first-order logic
    Hiroyuki Uchida
    Nicholas L. Cassimatis
    J. R. Scally
    Cognitive Processing, 2012, 13 : 361 - 369
  • [9] Perceptual simulations can be as expressive as first-order logic
    Uchida, Hiroyuki
    Cassimatis, Nicholas L.
    Scally, J. R.
    COGNITIVE PROCESSING, 2012, 13 (04) : 361 - 369
  • [10] THE EXPRESSIVE POWER OF 2ND-ORDER HORN LOGIC
    GRADEL, E
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 480 : 466 - 477
12345