Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
  Lokale TagsFreigabegeschichteDetailsÜbersicht

Freigegeben
Konferenzbeitrag

A New Method for Bounding the Complexity of Modal Logics

MPG-Autoren
/persons/resource/persons44075

Basin,  David A.
Programming Logics, MPI for Informatics, Max Planck Society;

/persons/resource/persons45002

Matthews,  Seán
Programming Logics, MPI for Informatics, Max Planck Society;

/persons/resource/persons45670

Viganò,  Luca
Programming Logics, MPI for Informatics, Max Planck Society;

Externe Ressourcen

https://rdcu.be/dwquC
(Verlagsversion)

Volltexte (beschränkter Zugriff)
Für Ihren IP-Bereich sind aktuell keine Volltexte freigegeben.
Volltexte (frei zugänglich)
Es sind keine frei zugänglichen Volltexte in PuRe verfügbar
Ergänzendes Material (frei zugänglich)
Es sind keine frei zugänglichen Ergänzenden Materialien verfügbar
Zitation

Basin, D. A., Matthews, S., & Viganò, L. (1997). A New Method for Bounding the Complexity of Modal Logics. In G. Gottlob, A. Leitsch, & D. Mundici (Eds.), Computational Logic and Proof Theory (pp. 89-102). Berlin, Germany: Springer.


Zitierlink: https://hdl.handle.net/11858/00-001M-0000-000F-39CD-4
Zusammenfassung
We present a new proof-theoretic approach to bounding the complexity
of the decision problem for propositional modal logics. We formalize
logics in a uniform way as sequent systems and then restrict the
structural rules for particular systems. This, combined with an
analysis of the accessibility relation of the corresponding Kripke
structures, yields decision procedures with bounded space requirements.
As examples we give O(n log n) procedures for the modal logics K and T.