Translator Disclaimer
June 2013 Decidability for some justification logics with negative introspection
Thomas Studer
J. Symbolic Logic 78(2): 388-402 (June 2013). DOI: 10.2178/jsl.7802030

Abstract

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.

Citation

Download Citation

Thomas Studer. "Decidability for some justification logics with negative introspection." J. Symbolic Logic 78 (2) 388 - 402, June 2013. https://doi.org/10.2178/jsl.7802030

Information

Published: June 2013
First available in Project Euclid: 15 May 2013

zbMATH: 1276.03017
MathSciNet: MR3145187
Digital Object Identifier: 10.2178/jsl.7802030

Rights: Copyright © 2013 Association for Symbolic Logic

JOURNAL ARTICLE
15 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.78 • No. 2 • June 2013
Back to Top