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 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.

\n\n 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.

\n\n 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.

\n\n 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.

\n\n (joint work with Elaine Pimentel, L
uiz Carlos Pereira, and Emerson Sales, partially p
ublished in the proceedings of Dali’20 and WoLLiC’
21)

\n
URL:http://tulips.sites.uu.nl/
CONTACT:Colin R. Caret at c.r.caret at uu.nl
END:VEVENT
END:VCALENDAR