28 citations · 57 across the 12 of their papers we have counts for
4 papers · 1 filter
Justification Logics in a Fuzzy Setting
Meghdad Ghari
Justification Logics provide a framework for reasoning about justifications and evidences. Most of the accounts of justification logics are crisp in the sense that agent's justific…
Tableau Proof Systems for Justification Logics
Meghdad Ghari
In this paper we present tableau proof systems for various justification logics. We show that the tableau systems are sound and complete with respect to Mkrtychev models. In order…
A Note on Fixed Points in Justification Logics and the Surprise Test Paradox
Meghdad Ghari
In this note we study the effect of adding fixed points to justification logics. We introduce two extensions of justification logics: extensions by fixed point (or diagonal) operat…
Labeled Sequent Calculus and Countermodel Construction for Justification Logics
Meghdad Ghari
Justification logics are modal-like logics that provide a framework for reasoning about justifications. This paper introduces labeled sequent calculi for justification logics, as w…