The Completeness Problem for Modal Logic

被引:2
|
作者
Achilleos, Antonis [1 ]
机构
[1] Reykjavik Univ, Sch Comp Sci, Reykjavik, Iceland
关键词
Modal logic; Completeness; Computational complexity; Bisimulation; COMPLEXITY; FORMULAS;
D O I
10.1007/978-3-319-72056-2_1
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We introduce the completeness problem for Modal Logic and examine its complexity. For a definition of completeness for formulas, given a formula of a modal logic, the completeness problem asks whether the formula is complete for that logic. We discover that completeness and validity have the same complexity - with certain exceptions for which there are, in general, no complete formulas. To prove upper bounds, we present a non-deterministic polynomial-time procedure with an oracle from PSPACE that combines tableaux and a test for bisimulation, and determines whether a formula is complete.
引用
收藏
页码:1 / 21
页数:21
相关论文
共 50 条
  • [1] SOLUTION TO THE COMPLETENESS PROBLEM FOR WEAKLY AGGREGATIVE MODAL LOGIC
    APOSTOLI, P
    BROWN, B
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1995, 60 (03) : 832 - 842
  • [2] POST COMPLETENESS IN MODAL LOGIC
    SEGERBERG, K
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1972, 37 (04) : 711 - 715
  • [3] A COMPLETENESS THEOREM IN MODAL LOGIC
    BAYART, A
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (02) : 276 - &
  • [4] On the completeness of classical modal display logic
    Gote, R
    [J]. PROOF THEORY OF MODAL LOGIC, 1996, 2 : 137 - 140
  • [5] Effective completeness theorems for modal logic
    Ganguli, S
    Nerode, A
    [J]. ANNALS OF PURE AND APPLIED LOGIC, 2004, 128 (1-3) : 141 - 195
  • [6] ON SOME COMPLETENESS THEOREMS IN MODAL LOGIC
    MAKINSON, D
    [J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1966, 12 (04): : 379 - &
  • [7] A Modal Logic for Uncertainty: a Completeness Theorem
    Corsi, Esther Anna
    Flaminio, Tommaso
    Godo, Lluis
    Hosni, Hykel
    [J]. INTERNATIONAL SYMPOSIUM ON IMPRECISE PROBABILITY: THEORIES AND APPLICATIONS, VOL 215, 2023, 215 : 119 - 129
  • [8] Arithmetical Completeness Theorem for Modal Logic
    Kurahashi, Taishi
    [J]. STUDIA LOGICA, 2018, 106 (02) : 219 - 235
  • [9] Algorithmic Definability and Completeness in Modal Logic
    Vakarelov, Dimiter
    [J]. FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS, PROCEEDINGS, 2010, 5956 : 6 - 8
  • [10] Context Logic as Modal Logic: Completeness and Parametric Inexpressivity
    Calcagno, Cristiano
    Gardner, Philippa
    Zarfaty, Uri
    [J]. CONFERENCE RECORD OF POPL 2007: THE 34TH ACM SIGPLAN SIGACT SYMPOSIUM ON PRINCIPLES OF PROGAMMING LANGUAGES, 2007, : 123 - 134