On Thursday, November 6, Marianna Girlando (https://mariannagirlando.com/) is giving the next talk at Women in Logic Online (https://womeninlogic.org/wil-online/), entitled
"Decidability of (intuitionistic) modal logic: the case of IS4"
You can register for online participation at https://ucl.zoom.us/webinar/register/WN_bTPT4e-cSCOaTbncEKZf2w
Abstract and short bio below.
1/4
#womenInLogic #logic #intuitionisticLogic #modalLogic #proofTheory #sequentCalculus