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 条
  • [1] Modal Languages and Bounded Fragments of Predicate Logic
    Hajnal Andréka
    István Németi
    Johan van Benthem
    Journal of Philosophical Logic, 1998, 27 : 217 - 274
  • [2] A completeness theorem for continuous predicate modal logic
    Stefano Baratella
    Archive for Mathematical Logic, 2019, 58 : 183 - 201
  • [3] A completeness theorem for continuous predicate modal logic
    Baratella, Stefano
    ARCHIVE FOR MATHEMATICAL LOGIC, 2019, 58 (1-2) : 183 - 201
  • [4] A survey of predicate realizability logic
    Valerii E. Plisko
    Proceedings of the Steklov Institute of Mathematics, 2011, 274 : 204 - 230
  • [5] A Cube of Opposition for Predicate Logic
    Nilsson, Jorgen Fischer
    LOGICA UNIVERSALIS, 2020, 14 (01) : 103 - 114
  • [6] A Cube of Opposition for Predicate Logic
    Jørgen Fischer Nilsson
    Logica Universalis, 2020, 14 : 103 - 114
  • [7] Contexts in dynamic predicate logic
    Visser A.
    Journal of Logic, Language and Information, 1998, 7 (1) : 21 - 52
  • [8] Predicate gates for spatial logic
    Kouzaev, Guennadi A.
    Kostadinov, Atanas N.
    PROCEEDING OF THE 11TH WSEAS INTERNATIONAL CONFERENCE ON COMPUTERS: COMPUTER SCIENCE AND TECHNOLOGY, VOL 4, 2007, : 151 - +
  • [9] PREDICATE LOGIC FOR SOFTWARE ENGINEERING
    PARNAS, DL
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1993, 19 (09) : 856 - 862
  • [10] The proper treatment of variables in predicate logic
    Wehmeier, Kai F.
    LINGUISTICS AND PHILOSOPHY, 2018, 41 (02) : 209 - 249
12345