The following pages link to Dynamic Epistemic Logic Displayed (Q2859101):
Displayed 10 items.
- Semi De Morgan logic properly displayed (Q2021557) (← links)
- On inverse operators in dynamic epistemic logic (Q2151411) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- Bilattice logic properly displayed (Q2328914) (← links)
- Proper multi-type display calculi for rough algebras (Q2333670) (← links)
- A Multi-type Calculus for Inquisitive Logic (Q2820696) (← links)
- Probabilistic Epistemic Updates on Algebras (Q3457689) (← links)
- THE LOGIC OF RESOURCES AND CAPABILITIES (Q4577999) (← links)
- A general framework for dynamic epistemic logic: towards canonical correspondences (Q4586222) (← links)
- Linear Logic Properly Displayed (Q5886520) (← links)