–
Room P3.10, Mathematics Building
Jean-Yves Béziau, UFC/CNPq/FUNCAP, U Fortaleza, Brazil
In this talk I will present systems of pure modal logics, i.e. with modalities as only connectives. I will focus on alethic modalities: necessity and possibility. The basic framework is structural conesquence relation in the sense of Los and Susko. I will study the main options and present bivalent and multi-valued semantics for these systems as well as sequent-calculi.