Tableaux and Interpolation for Propositional Justification Logics
Article in Notre Dame Journal of Formal Logic (February 2024)
The most recent citing publications are shown below. View all 19 publications that cite this research output on Dimensions.
Article in Notre Dame Journal of Formal Logic (February 2024)
Article in Argument & Computation (February 2022)
Article in Annals of Mathematics and Artificial Intelligence (July 2021)