Lean Together 2021: Results in modal and dynamic epistemic logic

Speaker: Paula Neeley Part of the workshop Lean Together 2021:
Back to Top