Pages that link to "Item:Q375307"
From MaRDI portal
The following pages link to Multi-agent justification logic: communication and evidence elimination (Q375307):
Displaying 7 items.
- The logic of justified belief, explicit knowledge, and conclusive evidence (Q392273) (← links)
- A logic of plausible justifications (Q744992) (← links)
- Structured argumentation dynamics. Undermining attacks in default justification logic (Q2075383) (← links)
- Distributed knowledge justification logics (Q2254486) (← links)
- Realizing public announcements by justifications (Q2453578) (← links)
- A logic of knowing why (Q2693121) (← links)
- Tableaux and interpolation for propositional justification logics (Q6564678) (← links)
