TOOLS & RESULTS
Friday 22 Afternoon & Monday 25 Morning
 SCHEDULE 


Nino Guallart
Department of Philosophy, Logic and Philosophy of Science, University of Seville, Spain
“A second order propositional logic with subtyping”

Huacan He and Yanquan Zhou
Northwestern Polytechnical University, Xi'an, China and Beijing University of Posts and Telecommunications, Beijing, China
“The generalized probability theory and intelligent information processing”

Krzysztof Krawczyk and Tomasz Jarmużek
Department of Logic, Nicolaus Copernicus University, Toruń, Poland
“Tableau Systems for Epistemic Interpretations of Jerzy Łoś's R-Operator Logics”

Pierre Joray
Faculty of Philosophy, University of Rennes 1, France
“A Natural Deduction System for Leśniewski's Protothetic”

Koen Lefever and Gergely Székely
Vrije Universiteit Brussel, Brussels, Belgium; Alfr\'ed Rényi Institute for Mathematics, Budapest, Hungary
“Comparing Classical And Relativistic Kinematics In First-Order Logic”

Goran Lojkic
Institute of Philosophy, Zagreb, Croatia
“Type Theory and the Theory of Forms”

Raja Natarajan
School of Technology and Computer Science, Tata Institute of Fundamental Research, Mumbai, India
“Coloring Venn Diagrams”


Anca Pascu, Jean-Pierre Desclés and Ismail Biskri
Université de Bretagne Occidentale, Brest, France, Université Paris-Sorbonne, France and Universit\'e de Québec, Trois Rivières, Canada
“Some mathematical approaches for defining the notion of quasi-topology”

Sergey Pavlov
Institute of Philosophy, Moscow, Russia
“On Generalized Unified Boolean-Fregean Semantics”

Jiri Raclavsky
Masaryk University, Brno, Czech Republic
“The Rule of Explicit Substitution into (Hyper)intensional Contexts”

Lutz Strassburger
INRIA, LIX, Ecole Polytechnique, Palaiseau, France
“Nested Sequents, Focusing, and Synthetic Connectives”

Benoît Sauzay and Gaëll Guibert
Paris, France
“Embodiment of some Logical, Computable and Categorical Notions by a Logic of Operators”

Hsing-chien Tsai
Department of Philosophy, National Chung-Cheng University, Chiayi, Taiwan
“On First-order Mereological Complementation”

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