References & Citations
Computer Science > Logic in Computer Science
Title: The Completeness Problem for Modal Logic
(Submitted on 3 May 2016 (v1), last revised 19 Sep 2017 (this version, v2))
Abstract: 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.
Submission history
From: Antonis Achilleos [view email][v1] Tue, 3 May 2016 18:10:15 GMT (20kb)
[v2] Tue, 19 Sep 2017 14:59:07 GMT (55kb)
Link back to: arXiv, form interface, contact.