FIRST-ORDER DEFINABILITY IN MODAL LOGIC

被引：15
|
作者：
GOLDBLATT, RI [1 ]
机构：
[1] VICTORIA UNIV,WELLINGTON,NEW ZEALAND
来源：
JOURNAL OF SYMBOLIC LOGIC | 1975年 / 40卷 / 01期
关键词：
D O I：
10.2307/2272267
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：35 / 40
页数：6
相关论文
共 50 条
  • [1] First-Order Modal Logic: Frame Definability and a Lindstrom Theorem
    Zoghifard, R.
    Pourmahdian, M.
    [J]. STUDIA LOGICA, 2018, 106 (04) : 699 - 720
  • [2] First-Order Modal Logic: Frame Definability and a Lindström Theorem
    R. Zoghifard
    M. Pourmahdian
    [J]. Studia Logica, 2018, 106 : 699 - 720
  • [3] Decidable and Undecidable Problems for First-Order Definability and Modal Definability
    Balbiani, Philippe
    Tinchev, Tinko
    [J]. LANGUAGE, LOGIC, AND COMPUTATION, 2022, 13206 : 214 - 236
  • [4] The Exact Complexity of the First-Order Logic Definability Problem
    Arenas, Marcelo
    Diaz, Gonzalo I.
    [J]. ACM TRANSACTIONS ON DATABASE SYSTEMS, 2016, 41 (02):
  • [5] First-order classical modal logic
    Arló-Costa H.
    Pacuit E.
    [J]. Studia Logica, 2006, 84 (2) : 171 - 210
  • [6] Unification in first-order transitive modal logic
    Dzik, Wojciech
    Wojtylak, Piotr
    [J]. LOGIC JOURNAL OF THE IGPL, 2019, 27 (05) : 693 - 717
  • [7] A FIRST-ORDER FRAMEWORK FOR INQUISITIVE MODAL LOGIC
    Meissner, Silke
    Otto, Martin
    [J]. REVIEW OF SYMBOLIC LOGIC, 2022, 15 (02): : 311 - 333
  • [8] On the Expressivity of First-Order Modal Logic with "Actually"
    Kocurek, Alexander W.
    [J]. LOGIC, RATIONALITY, AND INTERACTION (LORI 2015), 2015, 9394 : 207 - 219
  • [9] Modal definability of first-order formulas with free variables and query answering
    Kikot, Stanislav
    Zolin, Evgeny
    [J]. JOURNAL OF APPLIED LOGIC, 2013, 11 (02) : 190 - 216
  • [10] An ontology-based first-order modal logic
    Jiang, Feng
    Sui, Yuefei
    Cao, Cungen
    [J]. ROUGH SETS AND CURRENT TRENDS IN COMPUTING, PROCEEDINGS, 2006, 4259 : 517 - 526
12345