Theoretical Computer Science
Journal of Automated Reasoning
Modal logics for knowledge representation systems
Theoretical Computer Science
A guide to completeness and complexity for modal logics of knowledge and belief
Artificial Intelligence
Theoretical Computer Science
The complexity of concept languages
Information and Computation
Modal logic
Incomplete Information: Rough Set Analysis
Incomplete Information: Rough Set Analysis
Single Step Tableaux for Modal Logics
Journal of Automated Reasoning
Relative Similarity Logics are Decidable: Reduction to FO2 with Equality
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
A Tableau for Multimodal Logics and Some (Un)Decidability Results
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Sequent Calculi for Nominal Tense Logics: A Step Towards Mechanization?
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
SFCS '79 Proceedings of the 20th Annual Symposium on Foundations of Computer Science
Arrow Logic with Arbitrary Intersections: Applications to Pawlak's Information Systems
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
Relative Nondeterministic Information Logic is EXPTIME-complete
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
A Modal Logic for Indiscernibility and Complementarity in Information Systems
Fundamenta Informaticae
Computational Complexity of Multimodal Logics \newline Based on Rough Sets
Fundamenta Informaticae
Hi-index | 0.00 |
The nondeterministic information logic NIL has been introduced by Orłowska and Pawlak in 1984 as a logic for reasoning about total information systems with the similarity, the forward inclusion and the backward inclusion relations. In 1987, Vakarelov provides the first first-order characterization of structures derived from information systems and this has been done with the semantical structures of NIL. Since then, various extensions of NIL have been introduced and many issues for information logics about decidability and Hilbert-style proof systems have been solved. However, computational complexity issues have been seldom attacked in the literature mainly because the information logics are propositional polymodal logics with interdependent modal connectives. We show that NIL satisfiability is a PSPACE-complete problem. PSPACE-hardness is shown to be an easy consequence of PSPACE-hardness of the well-known modal logic S4. The main difficulty is to show that NIL satisfiability is in PSPACE. To do so we present an original construction that extends various previous works by Ladner (1977), Halpern and Moses (1992) and Spaan (1993).