Accepted Papers
Michael Shenefelt
Why Does Formal Deductive Logic Begin with the
Classical Greeks?
Yannis Stephanou
"The Liar and a Theory of Truth"
Bernhard Heinemann
"`Topologic´ Can Be More Expressive"
Vladislav Nenchev
"Undecidability of Logics for Mereological and
Mereotopological Relations"
Doukas Kapantaïs
"Intuitionistic Formal Semantics for Future
Contingents"
Zoltan Esik and Werner Kuich
"Axiomatizing rational
series"
Apostolos Syropoulos and Valeria De Paiva
"Fuzzy Topological Systems"
Kentaro Sato
"Dependent Transfinite Recursion in Second
Order Set Theory"
Takako Nemoto
"Determinacy and $\Pi^1_1$ transfinite
recursion along $\omega$"
Vassilios Gregoriades
"Effective Theory on arbitrary Polish spaces"
Nikolay Ivanov and Dimiter Vakarelov
"Relational Syllogistics"
David J. Foulis and Sylvia Pulmannova
"Logical connectives in lattice effect
algebras"
Andras Benedek
"Two Conception of the Dynamics of Group
Knowledge"
Petros Stefaneas
"On Scientific Theories and Institutions"
Garyfallia Vafeiadou
"Comparing two minimal systems for
Constructive Analysis"
Panagiotis Cheilaris, John Ramirez and Stathis Zachos
"Checking in linear time if an S-term
normalizes"
Antonis Achilleos
"A Multi-agent Justification Logic,
Interactions and a Complexity Result"
Eugenie Foustoucos and Labrini Kalantzi
"Automata-theoretic and Datalog-based
solutions of Monadic Second-order Logic Evaluation Problems over Structures of
bounded-treewidth"
Nikos Tzevelekos and Andrzej Murawski
"Algorithmic nominal game semantics"
Nikolaos Galatos and Kazushige Terui
"Interpolation and amalgamation for
substructural logics and residuated lattices"
Georgios Fourtounis, Nikolaos Papaspyrou and Panos
Rondogiannis
"The Intensional Transformation for
Functional Languages with User-Defined Data Types"
Foto Afrati, Matthew Damigos and Manolis Gergatsoulis
"Rewriting real conjunctive queries using
viewsets of minimal-size"