Monday 25 Full Day

Juan C.Agudelo-Agudelo
Institute of Mathematics, University of Antioquia, Medellin, Colombia
“Polynomial Semantics for Normal Modal Logics”

Jacob Archambault
Highlands Latin School, Louisville, USA
“Divided modality for Ockhamists”

AnneMarie Borg and Ofer Arieli
Institute of Philosophy II, Ruhr-University Bochum, Germany; School of Computer Science, The Academic College of Tel-Aviv, Israel
“Hypersequential Argumentation Frameworks: An Instantiation in the Modal Logic S5”

Tamar Lando
Department of Philosophy, Columbia University, New York, USA
“Topology and Measure in Logics for Point-free Space”

Antonia Huertas, María Manzano and Manuel C.Moreno
Open University of Catalonia, Barcelona, Spain and University of Salamanca, Spain
“Intensional: what it is about?”

Vladimir Lobovikov
Department of Philosophy, Ural Federal University, Russia
“Moving from the Opposition of Normal and Non-Normal Modal Logics to Universal Logic: Synthesizing T, S4, Tr, Verum and Falsum systems by the Square and Hexagon”

Marcin Łyczak
Institute of Philosophy, Cardinal Stefan Wyszyński University, Warsaw, Poland
“The Logic of Change LC enriched by Leibnizian modalities”

Bojan Marinkovic, Bojan Zoran Ognjanovic and Paola Glavan
Mathematical Institute, Serbian Academy of Sciences and Arts, Belgrade, Serbia; Faculty of Mechanical Engineering and Naval Architecture, University of Zagreb, Croatia
“Correctness and Strong Completeness for Logic of Time and Knowledge”

Marek Nasieniewski, Krystyna Mruczek-Nasieniewska
and Andrzej Pietruszczak
Department of Logic, Nicolaus Copernicus University, Torun, Poland
“Modal logics obtained by means of Jaskowski's model of discussion”

Serge Robert
Department of Philosophy, University of Québec, Montréal, Canada
“A Modal Logics Framework for the Modeling of Human Reasoning”

Tinko Tinchev
Department of Mathematical Logic and its Applications, Sofia University, Bulgaria
“Modal approach to region-based theories of space: undecidability of modal definability”

Tinko Tinchev and Philippe Balbiani
Department of Mathematical Logic and its Applications, Sofia University, Bulgaria; Institut de Recherche en Informatique de Toulouse, France
“On the modal and first-order definability”

For co-authored papers, first is the name of the one who will present the talk. Talks are located in a workshop or in a session
Keynote talks= 45 mn / Contributed talks = 30 mn (including discussion in both cases)
Back to the Sessions of UNILOG'2018