Pages that link to "Item:Q2848068"
From MaRDI portal
The following pages link to Algebra and sequent calculus for epistemic actions (Q2848068):
Displaying 10 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)
- Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators (Q3178281) (← links)
- The Mathematics of Text Structure (Q5014597) (← links)
- Dynamic Epistemic Logic as a Substructural Logic (Q5249692) (← links)
- Epistemic Actions as Resources (Q5431612) (← links)