Modal languages and bounded fragments of predicate logic

被引：267
|
作者：
Andreka, H [1 ]
Nemeti, I
van Benthem, J
机构：
[1] Hungarian Acad Sci, Math Inst, Budapest, Hungary
[2] Univ Amsterdam, Inst Log Language & Computa, NL-1012 WX Amsterdam, Netherlands
来源：
JOURNAL OF PHILOSOPHICAL LOGIC | 1998年 / 27卷 / 03期
基金：
匈牙利科学研究基金会;
关键词：
Predicate Logic; Modal Language; Bounded Fragment;
D O I：
10.1023/A:1004275029985
中图分类号：
B81 [逻辑学（论理学）];
学科分类号：
010104 ; 010105 ;
摘要：
[No abstract available]
引用
收藏
页码：217 / 274
页数：58
相关论文
共 45 条
  • [41] Expressivity of second order propositional modal logic (SOPML)
    Ten Cate, Balder
    JOURNAL OF PHILOSOPHICAL LOGIC, 2006, 35 (02) : 209 - 223
  • [42] A Problem-Solving Process Model for Learning Intellectual Property Law Using Logic Expression: Application from a Proposition to a Predicate Logic
    Akakura, Takako
    Tomoto, Takahito
    Kato, Koichiro
    HUMAN INTERFACE AND THE MANAGEMENT OF INFORMATION: SUPPORTING LEARNING, DECISION-MAKING AND COLLABORATION, HCI INTERNATIONAL 2017, PT II, 2017, 10274 : 3 - 14
  • [43] Sequent Calculus for a Program-oriented Predicate Logic over Complex-Named Data
    Nikitchenko, Mykola
    Shkilniak, Oksana
    Shkilniak, Stepan
    2020 10TH INTERNATIONAL CONFERENCE ON ADVANCED COMPUTER INFORMATION TECHNOLOGIES (ACIT), 2020, : 497 - 500
  • [44] The Fitch-Church Paradox and First Order Modal Logic
    Carlo Proietti
    Erkenntnis, 2016, 81 : 87 - 104
  • [45] Theory of Approximate Reasoning in Two-Valued Predicate Logic Based on the Quasi-truth Degrees
    秦晓燕
    刘军
    徐扬
    陈树伟
    刘熠
    Journal of Donghua University(English Edition), 2012, 29 (01) : 23 - 27
12345