Upcoming Events


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