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 条
  • [21] Predicate logic based tooling drawing design of aircraft harness
    Qiao X.
    Li L.
    Liu G.
    Gao J.
    Cheng J.
    Tian C.
    Beijing Hangkong Hangtian Daxue Xuebao/Journal of Beijing University of Aeronautics and Astronautics, 2021, 47 (09): : 1756 - 1764
  • [22] Characterization of minimal and basis siphons with predicate logic and binary programming
    Cordone, R
    Ferrarini, L
    Piroddi, L
    2002 IEEE INTERNATIONAL SYMPOSIUM ON COMPUTER AIDED CONTROL SYSTEM DESIGN PROCEEDINGS, 2002, : 193 - 198
  • [23] Comparison of first order predicate logic, fuzzy logic and non-monotonic logic as knowledge representation methodology
    Yang, KH
    Olson, D
    Kim, J
    EXPERT SYSTEMS WITH APPLICATIONS, 2004, 27 (04) : 501 - 519
  • [24] Same Same But Different: An Alphabetically Innocent Compositional Predicate Logic
    Klein, Udo
    Sternefeld, Wolfgang
    JOURNAL OF PHILOSOPHICAL LOGIC, 2017, 46 (01) : 65 - 95
  • [25] Employing the Inference Rules of Predicate Logic for Predicting Protein Functions
    Taha, Kamal
    2019 IEEE EMBS INTERNATIONAL CONFERENCE ON BIOMEDICAL & HEALTH INFORMATICS (BHI), 2019,
  • [26] Same Same But Different: An Alphabetically Innocent Compositional Predicate Logic
    Udo Klein
    Wolfgang Sternefeld
    Journal of Philosophical Logic, 2017, 46 : 65 - 95
  • [27] A CUT-FREE PROOF SYSTEM FOR A PREDICATE EXTENSION OF THE LOGIC OF PROVABILITY
    Tanaka, Yoshihito
    REPORTS ON MATHEMATICAL LOGIC, 2018, 53 : 97 - 109
  • [28] Study on the Structured Process Operation Language Based-on Predicate Logic
    Zeng, Shengchuo
    Wei, Ren
    Liao, Xiaoping
    Zhou, Fahua
    ADVANCED MANUFACTURING SYSTEMS, PTS 1-3, 2011, 201-203 : 904 - 911
  • [29] Naming worlds in modal and temporal logic
    Gabbay D.M.
    Malod G.
    Journal of Logic, Language and Information, 2002, 11 (1) : 29 - 65
  • [30] Past-future separation and normal forms in temporal predicate logic specifications
    Treur, Jan
    JOURNAL OF ALGORITHMS-COGNITION INFORMATICS AND LOGIC, 2009, 64 (2-3): : 106 - 124
12345