On Thursday, November 6 at 17:00 CET 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 or watch the talk streamed on YouTube (link to be sent later).
Abstract and short bio below.
1/5
#womenInLogic #logic #intuitionisticLogic #modalLogic #proofTheory #sequentCalculus