Decidability for some justification logics with negative introspection
| Data(s) |
15/05/2013
|
|---|---|
| Resumo |
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. |
| Formato |
application/pdf |
| Identificador |
http://boris.unibe.ch/40672/1/J5_Decidability.pdf Studer, Thomas (2013). Decidability for some justification logics with negative introspection. Journal of symbolic logic, 78(2), pp. 388-402. Association for Symbolic Logic 10.2178/jsl.7802030 <http://dx.doi.org/10.2178/jsl.7802030> doi:10.7892/boris.40672 info:doi:10.2178/jsl.7802030 urn:issn:0022-4812 |
| Idioma(s) |
eng |
| Publicador |
Association for Symbolic Logic |
| Relação |
http://boris.unibe.ch/40672/ http://projecteuclid.org/euclid.jsl/1368627056 |
| Direitos |
info:eu-repo/semantics/openAccess |
| Fonte |
Studer, Thomas (2013). Decidability for some justification logics with negative introspection. Journal of symbolic logic, 78(2), pp. 388-402. Association for Symbolic Logic 10.2178/jsl.7802030 <http://dx.doi.org/10.2178/jsl.7802030> |
| Palavras-Chave | #000 Computer science, knowledge & systems #510 Mathematics |
| Tipo |
info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion PeerReviewed |
