Combinations and completeness transfer for quantified modal logics

被引：7
|
作者：
Schurz, Gerhard [1 ]
机构：
[1] Univ Dusseldorf, Inst Philosophy, Dusseldorf, Germany
来源：
LOGIC JOURNAL OF THE IGPL | 2011年 / 19卷 / 04期
关键词：
Logic combination; fusion; completeness transfer; quantified modal logic; (non-)rigid designator; ambiguous language; worldline semantics;
D O I：
10.1093/jigpal/jzp085
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
This paper focuses on three research questions which are connected with combinations of modal logics: (i) Under which conditions can (frame-) completeness (and related properties) be transferred from a propositional modal logic (PML) to its quantificational counterpart (QML)? (ii) Does (frame-) completeness generally transfer from monomodal QMLs to their multimodal combination? (iii) Can completeness be transferred from QMLs with rigid designators to those with non-rigid designators? The paper reports some recent results on these questions and provides some new results.
引用
收藏
页码：598 / 616
页数：19
相关论文
共 50 条
  • [1] A unified completeness theorem for quantified modal logics
    Corsi, G
    [J]. JOURNAL OF SYMBOLIC LOGIC, 2002, 67 (04) : 1483 - 1510
  • [2] On Kripke completeness of modal predicate logics around quantified K5
    Shehtman, Valentin
    [J]. ANNALS OF PURE AND APPLIED LOGIC, 2023, 174 (02)
  • [3] QUANTIFIED MODAL RELEVANT LOGICS
    Ferenz, Nicholas
    [J]. REVIEW OF SYMBOLIC LOGIC, 2023, 16 (01): : 210 - 240
  • [4] Combinations of Modal Logics
    Brandon Bennett
    Clare Dixon
    Michael Fisher
    Ullrich Hustadt
    Enrico Franconi
    Ian Horrocks
    Maarten de Rijke
    [J]. Artificial Intelligence Review, 2002, 17 : 1 - 20
  • [5] Combinations of modal logics
    Bennett, B
    Dixon, C
    Fisher, M
    Hustadt, U
    Franconi, E
    Horrocks, I
    De Rijke, M
    [J]. ARTIFICIAL INTELLIGENCE REVIEW, 2002, 17 (01) : 1 - 20
  • [6] COMPLETENESS OF MONOTONIC MODAL LOGICS
    CHELLAS, BF
    MCKINNEY, A
    [J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1975, 21 (04): : 379 - 383
  • [7] INCOMPLETENESS PROBLEM OF QUANTIFIED MODAL LOGICS
    DANQUAH, J
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (03) : 447 - 447
  • [8] A systematic presentation of quantified modal logics
    Castellini, C
    Smaill, A
    [J]. LOGIC JOURNAL OF THE IGPL, 2002, 10 (06) : 571 - 599
  • [9] Nested Sequents for Quantified Modal Logics
    Lyon, Tim S.
    Orlandelli, Eugenio
    [J]. AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2023, 2023, 14278 : 449 - 467
  • [10] Completeness theorems for reactive modal logics
    Gabbay, Dov
    [J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2012, 66 (1-4) : 81 - 129
12345