Pages that link to "Item:Q1818006"
From MaRDI portal
The following pages link to Logic of agreement: Foundations, semantic system and proof theory (Q1818006):
Displaying 4 items.
- Formal semantics for mutual belief (Q685541) (← links)
- Agreement theorems in dynamic-epistemic logic (Q692182) (← links)
- Mechanical proof systems for logic: Reaching consensus by groups of intelligent agents (Q1176175) (← links)
- Self-enforcing Agreements and Forward Induction Reasoning (Q5022561) (← links)