Decidability for Justification Logics Revisited
| Data(s) |
2013
|
|---|---|
| Formato |
application/pdf |
| Identificador |
Bucheli, Samuel; Kuznets, Roman; Studer, Thomas (2013). Decidability for Justification Logics Revisited. In: Logic, language, and computation. Lecture Notes in Computer Science: Vol. 7758 (pp. 166-181). Berlin, Heidelberg: Springer Berlin Heidelberg 10.1007/978-3-642-36976-6_12 <http://dx.doi.org/10.1007/978-3-642-36976-6_12> doi:10.7892/boris.45209 info:doi:10.1007/978-3-642-36976-6_12 urn:isbn:978-3-642-36975-9 |
| Idioma(s) |
eng |
| Publicador |
Springer Berlin Heidelberg |
| Relação |
http://boris.unibe.ch/45209/ http://dx.doi.org/10.1007/978-3-642-36976-6_12 |
| Direitos |
info:eu-repo/semantics/restrictedAccess |
| Fonte |
Bucheli, Samuel; Kuznets, Roman; Studer, Thomas (2013). Decidability for Justification Logics Revisited. In: Logic, language, and computation. Lecture Notes in Computer Science: Vol. 7758 (pp. 166-181). Berlin, Heidelberg: Springer Berlin Heidelberg 10.1007/978-3-642-36976-6_12 <http://dx.doi.org/10.1007/978-3-642-36976-6_12> |
| Palavras-Chave | #000 Computer science, knowledge & systems #510 Mathematics |
| Tipo |
info:eu-repo/semantics/bookPart info:eu-repo/semantics/publishedVersion PeerReviewed |
