?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.title=A+Pure+View+of+Ecumenical+Modalities&rft.creator=Marin%2C+S&rft.creator=Pereira%2C+LC&rft.creator=Pimentel%2C+E&rft.creator=Sales%2C+E&rft.description=Recent+works+about+ecumenical+systems%2C+where+connectives+from+classical+and+intuitionistic+logics+can+co-exist+in+peace%2C+warmed+the+discussion+on+proof+systems+for+combining+logics.+This+discussion+has+been+extended+to+alethic+modalities+using+Simpson%E2%80%99s+meta-logical+characterization%3A+necessity+is+independent+of+the+viewer%2C+while+possibility+can+be+either+intuitionistic+or+classical.+In+this+work%2C+we+propose+a+pure%2C+label+free+calculus+for+ecumenical+modalities%2C+nEK%2C+where+exactly+one+logical+operator+figures+in+introduction+rules+and+every+basic+object+of+the+calculus+can+be+read+as+a+formula+in+the+language+of+the+ecumenical+modal+logic+EK.+We+prove+that+nEK+is+sound+and+complete+w.r.t.+the+ecumenical+birelational+semantics+and+discuss+fragments+and+extensions.&rft.publisher=Springer&rft.date=2021-10-06&rft.type=Proceedings+paper&rft.language=eng&rft.source=+++++In%3A++Logic%2C+Language%2C+Information%2C+and+Computation.+WoLLIC+2021.+Lecture+Notes+in+Computer+Science.++(pp.+pp.+388-407).++Springer%3A+Cham%2C+Switzerland.+(2021)+++++&rft.format=text&rft.identifier=https%3A%2F%2Fdiscovery.ucl.ac.uk%2Fid%2Feprint%2F10141795%2F1%2FPaper43-WoLLIC21.pdf&rft.identifier=https%3A%2F%2Fdiscovery.ucl.ac.uk%2Fid%2Feprint%2F10141795%2F&rft.rights=open