Fulltext

Decidability for some justification logics with negative introspection

Studer, Thomas

In: The Journal of Symbolic Logic, 2013, vol. 78, no. 2, p. 388-402

Zum persönliche Liste hinzufügen
    Titel
    • Decidability for some justification logics with negative introspection
    Autor
    • Studer, Thomas. Institut für Informatik und Angewandte Mathematik, Universität Bern, Neubrückstrasse 10, 3012 Bern, Switzerland, E-mail: tstuder@iam.unibe.ch, URL: http://www.iam.unibe.ch/~tstuder
    Dokumententyp
    • Postprint
    Sprache
    • Englisch
    Veröffentlicht in
    • The Journal of Symbolic Logic, 2013, vol. 78, no. 2, p. 388-402. Cambridge University Press
    Andere elektronische Ausgabe
    Klassifikation
    • Gesundheit
    OAI-PMH-ID
    • oai:doc.rero.ch:293990
    Summary
    Justification logics are modal logics that include justifications for the agent's knowledge. So far, there are no decidability results available for justification logics with negative introspection. In this paper, we develop a novel model construction for such logics and show that justification logics with negative introspection are decidable for finite constant specifications