Edgar Luis Bezerra de Almeida and Rodrigo de Alvarenga Freire
State University of Campinas, Brazil and University of Brasilia, Brazil
"Fixing truth-value for arithmetical sentences"

Henrique Antunes
State University of Campinas, Brazil
"A contextual definition of an abstraction operator in second-order logic"

Guillaume Aucher
University of Rennes 1, INRIA, Rennes, France
"Updates in logic"

Philippe Balbiani and Çiğdem Gencer
CNRS, Toulouse University, France - Istanbul Kültür University, Turkey
"Computability of unification and admissibility in contact logics"

Frode Bjørdal
University of Oslo, Norway and UFRN, Natal, Brazil
"Librationist motives and perspectives"

Laurent Dubois
University of Brussels, Belgium
"Lambda theory: to a zero-order logic with quantifiers"

Pedro Falcão
University of São Paulo, Brazil
"Duality, self-duality and generalized quantifiers"

Alfredo Roque de Oliveira Freire
Dept of Philosophy, State University of Campinas, Brazil
"Foundations of semantic and syntactic proofs in the context of metatheories"

Yvon Gauthier
Dpt of Philosophy, University of Montréal, Canada
"Cosmic logic. On the Conway-Kochen free will theorem"

Silvia Ghilezan, Jelena Ivetic and Nenad Savic
University of Novi Sad, Serbia
"Normalisation in substructural term calculi"

Walter Gomide, Tiago S. dos Reis and James A. D. W. Anderson
Federal University of Mato Grosso, Brazil - Federal Institute of Education, Science and Technology of Rio de Janeiro, Brazil - University of Reading, England
"Transreal proof of the existence of universal possible"

Mohamed Khaled
Central European University, Budapest, Hungary
"Decidable fragments of first order logic Gödel incompleteness property"

Daniel Molto
University of York, UK
"A modified quasi-set theory without identity"

Alexei Y. Muravitsky
Northwestern State University, Natchitoches, USA
"A generalization of Kuznetsov's theorem and Its consequences"

Mykola Nikitchenko and Stepan Shkilniak
Taras Shevchenko National University of Kyiv, Ukraine
"Logics of non-deterministic quasiary predicates"

Cyrus F. Nourani
Acdmkrd-DAI, Simon Fraser University, Canada and TU-Berlin, Germany
"Predictive competitive model game trees"

Gerald S. Plesniewicz
Moscow Power Engineering Institute, Russia
"Fuzzy syllogisms"

Nikolai L.Poliakov anf Denis I.Saveliev
Moscow State University, Russia
"On various concepts of ultrafilter extensions of first-order models"

Edoardo Rivello
University of Torino, Italy
"Periodicity vs reflexivity in revision theories"

Alexander Steen and Max Wisniewski
Dpt of Mathematics and Computer Science, Free University of Berlin, Germany
"Embedding of first-order nominal logic into higher-order logic"