3 citations · 3 across the 2 of their papers we have counts for
3 papers
cs.LO2017★ 3 cited
Temporal Justification Logic
Samuel Bucheli, Meghdad Ghari, Thomas Studer
Justification logics are modal-like logics with the additional capability of recording the reason, or justification, for modalities in syntactic structures, called justification te…
math.LO2016
Modular Models for Intuitionistic Justification Logic
Michel Marti, Thomas Studer
We present the logic iJT4, which is an explicit version of intuitionistic S4 and establish soundness and completeness with respect to modular models.
cs.LO2015
Justification logic enjoys the strong finite model property
Thomas Studer
We observe that justification logic enjoys a form the strong finite model property (sometimes also called small model property). Thus we obtain decidability proofs for justificatio…