M. Ghari,
Tableaux and interpolation for propositional justification logics
Notre Dame J. Formal Logic (to appear)
More Info
M. Ghari (Joint with F. Majlesi),
An extension of the logic of proofs with actions (In Persian)
Logical Studies 14(2023), 127-145
More Info
S. Tari,
A criterion for the strong cell decomposition property
Arch. Math. Logic 62(2023), 871-887
More Info
M. Ghari,
A formalization of the Protagoras court paradox in a temporal logic of epistemic and normative reasons
Artificial Intelligence and Law (to appear)
More Info
M. Ghari,
Linear temporal justification logics with past and future time modalities
Log. J. IGPL 31(2023), 1-38
More Info