Meghdad Ghari

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Consistency and permission in deontic justification logic Journal Of Logic And Computation	2024-11-12	Paper
Tableaux and interpolation for propositional justification logics Notre Dame Journal of Formal Logic	2024-07-01	Paper
On Boolean algebraic structure of proofs: towards an algebraic semantics for the logic of proofs Studia Logica	2023-08-10	Paper
Impossible and conflicting obligations in justification logic	2023-02-21	Paper
Linear temporal justification logics with past and future time modalities Logic Journal of the IGPL	2023-02-16	Paper
Algebraic Semantics for the Logic of Proofs	2021-06-21	Paper
Pavelka-style fuzzy justification logics Logic Journal of the IGPL	2019-01-08	Paper
Labeled sequent calculus for justification logics Annals of Pure and Applied Logic	2016-10-26	Paper
Analytic Tableaux for Justification Logics	2016-06-11	Paper
Tableaux for First Order Logic of Proofs	2016-04-24	Paper
Distributed knowledge justification logics Theory of Computing Systems	2015-02-05	Paper
Tableau Proof Systems for Justification Logics	2014-05-08	Paper
A Note on Fixed Points in Justification Logics and the Surprise Test Paradox	2014-03-18	Paper
Realization theorem for epistemic logic with justification	2012-12-29	Paper
Distributed knowledge with justifications Lecture Notes in Computer Science	2012-11-06	Paper
Cut elimination and realization for epistemic logics with justification Journal Of Logic And Computation	2012-10-19	Paper

Research outcomes over time

This page was built for person: Meghdad Ghari