Meghdad Ghari

Available identifiers

Publication	Date of Publication	Type
Consistency and permission in deontic justification logic	2024-11-12	Paper
Tableaux and interpolation for propositional justification logics	2024-07-01	Paper
On Boolean algebraic structure of proofs: towards an algebraic semantics for the logic of proofs	2023-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q5878369	2023-02-21	Paper
Linear temporal justification logics with past and future time modalities	2023-02-16	Paper
Algebraic Semantics for the Logic of Proofs	2021-06-21	Paper
Pavelka-style fuzzy justification logics	2019-01-08	Paper
Labeled sequent calculus for justification logics	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	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	2012-11-06	Paper
Cut elimination and realization for epistemic logics with justification	2012-10-19	Paper

This page was built for person: Meghdad Ghari