The following pages link to Reasoning with Justifications (Q3600565):
Displaying 13 items.
- Multi-agent justification logic: communication and evidence elimination (Q375307) (← links)
- The logic of justified belief, explicit knowledge, and conclusive evidence (Q392273) (← links)
- Realizations and LP (Q636276) (← links)
- Feasible operations on proofs: the logic of proofs for bounded arithmetic (Q929293) (← links)
- Justification logics, logics of knowledge, and conservativity (Q1028642) (← links)
- Reasoning about rationality (Q2013339) (← links)
- Justification logic with confidence (Q2193973) (← links)
- Logics of Rational Interaction (Q2902939) (← links)
- Simple Evidence Elimination in Justification Logic (Q2902944) (← links)
- A new framework for justification logic (Q4586147) (← links)
- Tracking reasons with extensions of relevant logics (Q5014055) (← links)
- Deductive Joint Support for Rational Unrestricted Rebuttal (Q5145807) (← links)
- Intuitive and Regressive Justifications† (Q5149974) (← links)