Abstract
In recent years, there has been a lot of interest in analyzing the space requirements for modal logics. In this paper, we prove that modal satisfiability is in deterministic linear space. This improves the best previously-known O(n log n) bound and it is the first linear space result in this area.
Supported in part by grant NSF-INT-9815095/DAAD-315-PPP-gü-ab.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
D. Basin, S. Matthews, and L. Viganó. A new method for bounding the complexity of modal logics. In Proceedings of KGC’97, pp. 89–102. Springer, LNCS 1289, 1997.
D. Basin and L. Viganó. A recipe for the complexity analysis of non-classical logics. In Proceedings of FroCoS’98, pp. 57–75. Wiley, Studies in Logic and Computation 7, 2000.
A.K. Chandra, D. Kozen, and L.J. Stockmeyer. Alternation. Journal of the ACM, 28, pp. 114–133, 1981.
J.Y. Halpern and Y. Moses. A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence, 54, pp. 319–379, 1992.
R. Ladner. The computational complexity of provability in systems of modal propositional logic. SIAM Journal on Computing, 6(3), pp. 467–480, 1977.
J. Hudelmaier. Improved decision procedures for the modal logics K, T and S4. In Proceedings of CSL’95, pp. 320–334. Springer, LNCS 1092, 1996.
L.A. Nguyen. A new space bound for the modal logics K4, KD4, and S4. In Proceedings of MFCS’99, pp. 321–331. Springer, LNCS 1672, 1999.
W.J. Paul, N. Pippinger, E. Szemerédy, and W.T. Trotter. On determinism versus non-determinism and related problems. In Proceedings of FOCS’83, pp. 429–438, 1983.
W. J. Savitch. Relationships between nondeterministic and deterministic tape complexities, JCSS, 4, pp. 177–192, 1970.
R.E. Stearns, J. Hartmanis, and P.M. Lewis II. Hierarchies of memory limited computations. In Proceedings of FOCS’65, pp. 179–190, 1965.
M. Y. Vardi. On the complexity of epistemic reasoning. In Proceedings of LICS’89, pp. 243–252, 1989.
L. Viganó. A framework for non-classical logics. PhD thesis, Universität des Saarlandes, Saarbrücken, Germany, 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hemaspaandra, E. (2000). Modal Satisfiability Is in Deterministic Linear Space. In: Clote, P.G., Schwichtenberg, H. (eds) Computer Science Logic. CSL 2000. Lecture Notes in Computer Science, vol 1862. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44622-2_22
Download citation
DOI: https://doi.org/10.1007/3-540-44622-2_22
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67895-3
Online ISBN: 978-3-540-44622-4
eBook Packages: Springer Book Archive