The following pages link to Meghdad Ghari (Q331047):
Displaying 14 items.
- Modal logics, justification logics, and realization (Q286591) (← links)
- Labeled sequent calculus for justification logics (Q331048) (← links)
- A note on strong axiomatization of Gödel justification logic (Q2193971) (← links)
- Distributed knowledge justification logics (Q2254486) (← links)
- Cut Elimination and Realization for Epistemic Logics with Justification (Q3165756) (← links)
- Pavelka-style fuzzy justification logics (Q4644569) (← links)
- (Q4898096) (← links)
- Distributed Knowledge with Justifications (Q5200465) (← links)
- Linear temporal justification logics with past and future time modalities (Q5877705) (← links)
- (Q5878369) (← links)
- On Boolean algebraic structure of proofs: towards an algebraic semantics for the logic of proofs (Q6115850) (← links)
- Tableaux and interpolation for propositional justification logics (Q6564678) (← links)
- Consistency and permission in deontic justification logic (Q6636657) (← links)
- Justification logics with counterfactual and relevant conditionals (Q6762615) (← links)