The following pages link to (Q2848068):
Displaying 8 items.
- Ockham's razor and reasoning about information flow (Q833039) (← links)
- A sketch of a dynamic epistemic semiring (Q964506) (← links)
- Let Us investigate! Dynamic conjecture-making as the formal logic of abduction (Q1633231) (← links)
- Tableau Method and NEXPTIME-Completeness of DEL-Sequents (Q2825404) (← links)
- Generalized DEL-Sequents (Q2915058) (← links)
- An Epistemic Separation Logic (Q2947467) (← links)
- The Mathematics of Text Structure (Q5014597) (← links)
- Dynamic Epistemic Logic as a Substructural Logic (Q5249692) (← links)