BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2021/newsitem/13010/12
 -October-2021-The-Utrecht-Logic-in-Progress-Series
 -TULIPS-Sonia-Marin
DTSTAMP:20210927T141824
SUMMARY:The Utrecht Logic in Progress Series (TULI
 PS), Sonia Marin
ATTENDEE;ROLE=Speaker:Sonia Marin (UCL)
DTSTART;TZID=Europe/Amsterdam:20211012T160000
DTEND;TZID=Europe/Amsterdam:20211012T173000
LOCATION:Online
DESCRIPTION:Abstract: Recent works about ecumenica
 l systems, where connectives from classical and in
 tuitionistic logics can co-exist in peace, warmed 
 the discussion of proof systems for combining logi
 cs, called Ecumenical systems by Prawitz and other
 s.  In Prawitz’ system, the classical logician and
  the intuitionistic logician would share the unive
 rsal quantifier, conjunction, negation, and the co
 nstant for the absurd, but they would each have th
 eir own existential quantifier, disjunction, and i
 mplication, with different meanings.  We extended 
 this discussion to alethic K-modalities: using Sim
 pson’s meta-logical characterization, necessity is
  shown to be independent of the viewer, while poss
 ibility can be either intuitionistic or classical.
   We furthermore proposed an internal and pure cal
 culus for ecumenical modalities, where every basic
  object of the calculus can be read as a formula i
 n the language of the ecumenical modal logic.  (jo
 int work with Elaine Pimentel, Luiz Carlos Pereira
 , and Emerson Sales, partially published in the pr
 oceedings of Dali’20 and WoLLiC’21)
X-ALT-DESC;FMTTYPE=text/html:\n  <p>Abstract: Rece
 nt works about ecumenical systems, where connectiv
 es from classical and intuitionistic logics can co
 -exist in peace, warmed the discussion of proof sy
 stems for combining logics, called Ecumenical syst
 ems by Prawitz and others.</p>\n\n  <p>In Prawitz’
  system, the classical logician and the intuitioni
 stic logician would share the universal quantifier
 , conjunction, negation, and the constant for the 
 absurd, but they would each have their own existen
 tial quantifier, disjunction, and implication, wit
 h different meanings.</p>\n\n  <p>We extended this
  discussion to alethic K-modalities: using Simpson
 ’s meta-logical characterization, necessity is sho
 wn to be independent of the viewer, while possibil
 ity can be either intuitionistic or classical.</p>
 \n\n  <p>We furthermore proposed an internal and p
 ure calculus for ecumenical modalities, where ever
 y basic object of the calculus can be read as a fo
 rmula in the language of the ecumenical modal logi
 c.</p>\n\n  <p>(joint work with Elaine Pimentel, L
 uiz Carlos Pereira, and Emerson Sales, partially p
 ublished in the proceedings of Dali’20 and WoLLiC’
 21)</p>\n
URL:http://tulips.sites.uu.nl/
CONTACT:Colin R. Caret at c.r.caret at uu.nl
END:VEVENT
END:VCALENDAR