Pages that link to "Item:Q929292"

The following pages link to Interacting explicit evidence systems (Q929292):

Displaying 10 items.

• Multi-agent justification logic: communication and evidence elimination (Q375307) (← links)
• The logic of justified belief, explicit knowledge, and conclusive evidence (Q392273) (← links)
• The ontology of justifications in the logical setting (Q454364) (← links)
• A logic of plausible justifications (Q744992) (← links)
• A logic of interactive proofs (Q2151405) (← links)
• Distributed knowledge justification logics (Q2254486) (← links)
• Justifications for common knowledge (Q2901206) (← links)
• NEXP-Completeness and Universal Hardness Results for Justification Logic (Q3194706) (← links)
• Explicit Generic Common Knowledge (Q3455832) (← links)
• A Conflict Tolerant Logic of Explicit Evidence (Q5059694) (← links)