- The Logic of Observation and Belief Revision in Scientific Communities.Hanna Sofie van Lee & Sonja Smets - 2020 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 51 (2):243-266.details
|
|
A logic of knowing why.Chao Xu, Yanjing Wang & Thomas Studer - 2021 - Synthese 198 (2):1259-1285.details
|
|
A logic of defeasible argumentation: Constructing arguments in justification logic.Stipe Pandžić - 2022 - Argument and Computation 13 (1):3-47.details
|
|
Argument evaluation in multi-agent justification logics.Alfredo Burrieza & Antonio Yuste-Ginel - forthcoming - Logic Journal of the IGPL.details
|
|
The logic of justified belief, explicit knowledge, and conclusive evidence.Alexandru Baltag, Bryan Renne & Sonja Smets - 2014 - Annals of Pure and Applied Logic 165 (1):49-81.details
|
|
Natural deduction and semantic models of justification logic in the proof assistant Coq.Jesús Mauricio Andrade Guzmán & Francisco Hernández Quiroz - forthcoming - Logic Journal of the IGPL.details
|
|
How to construct Remainder Sets for Paraconsistent Revisions: Preliminary Report.Rafael Testa, Eduardo Fermé, Marco Garapa & Maurício Reis - 2018 - 17th INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING.details
|
|
Temporal Justification Logic.S. Bucheli, M. Ghari & T. Studer - 2017 - Proceedings of the Ninth Workshop on Methods for Modalities (M4M9 2017), Indian Institute of Technology, Kanpur, India, 8th to 10th January 2017, Electronic Proceedings in Theoretical Computer Science 243, Pages 59–74.details
|
|