Marianna Nicolosi  Asmundo - University of Catania - Italy - A general rule for existential quantifiers elimination in free variable semantic tableaux

Musa Akrami - Islamic Azad University - Iran - From logical complementarity and pluralism to super-logic

Enrique Alonso - Universidad Autónoma de Madrid - Spain - Magical diagonalization

Pierre Ageron - Université de Caen - France - Logic without self deductibility

Jesse Alama - Stanford University - USA - An analysis of first-order completeness from a computer-checked proof of Gödel's completeness theorem

Patrick Allo - Vrije Universiteit Brussel - Belgium - Labelling in modal adaptive logics: an example

Alexei Angelides - Stanford University - USA - The metaphysics of Begriffsschrift quantifiers

Ariel Arbiser - University of Buenos Aires - Argentina - On the expressive power of calculi with explicit substitution 

Seyed Mohammad Bagheri - University of Tarbiat Modarres - Iran - Intrinsic forcing and interpretation in Kripke models

Vitaliy S. Balobanov - Information Telecommunication Technologies - Russia - Conceptoidal logic as the synthesis of Aristotelian Syllogistic and predicate calculus

Robert Barbour - Unitec New Zealand - New Zealand - Lean quaternary temporal logic: LQTL

Libor Behounek - Academy of Sciences of the Czech Republic - Czech Republic - Fuzzy logics among weakly implicative logics

Marta Bilkova - Academy of Sciences - Czech Republic - A uniform interpolation and propositional quantifiers in modal logics

Veronica Borja - Benemerita Universidad - Mexico - Super-S5 logic S5_2 and semantics for logic programs

David Boutillier - The University of Western Ontario - Canada - Psychologism, conventionalism and the epistemology of logic

Ross Brady - La Trobe University - Australia - A normalized natural deduction system for a modal relevant logic

Manuel Bremer - Heinrich Heine -Universität Düsseldorf - Germany - Transcendental logics new clothes

Joseph Brenner - Les Diablerets - Switzerland  - Logic, methaphysics and meaning 

Walter Carnielli - State University of Campinas - Brazil - Polynomial Ring Calculus for Logical Inference

Olavo de Carvalho - Catholic University of Parana - Brazil - From Poetics to Logic: Exploring Some Neglected Aspects of Aristotle's Organon

Roberto Lins de Carvalho - LNCC - Brazil - Semantical negation and completeness

Milton Castro - State University of Campinas - Brazil - Natural Deduction Systems for da Costa\'s Hierarchy of Paraconsistent Logics

Pascal Cherrier - France Telecom - France - A propos des algebres cylindriques introduites par Marc Krasner dans les annes 30

Petr Cintula - Academy of Sciences of the Czech Republic - Czech Republic - Fuzzy logics in the logical landscape

Janusz Ciuciura - University of Lodz -  Poland - A new real axiomatization of D2

Miguel Couceiro - University of Tampere - Finland - A Galois framework with applications to equational characterizations of function classes

Ashraf Darwish - Saint Petersburg State University - Russia - Two calculus with inequalities of linear combinations

Walter Dean - Rutgers University - USA - Are procedures logical objects?

Jean-Pierre Desclés - Sorbonne University - France -Using combinatory logic for a synthesis and an analysis of meaning

Razvan Diaconescu - Institute of Mathematics of the Romanian Academy - Romania - What is a logic?

Emílio Díaz-Estévez - University of Seville - Spain - Another paradox, 100 years later

Brahim Djioua - Sorbonne University - France - Using combinatory logic for a synthesis and an analysis of meaning

Ludmila Dostalova - University of West Bohemia in Pilsen - Czech Republic - Logic and natural language: universal logical analysis of natural language

Ítala D’Ottaviano - State University of Campinas - Brazil - Natural Deduction Systems for da Costa\'s Hierarchy of Paraconsistent Logics

Marie Duzi - Technical University Ostrava - Czech Republic - Logical form

José Gil Férez - University of Barcelona - Spain - Categorical Abstract Algebraic Logic: The Isomorphism Theorem

Hartry Field - New York University - Logics of paradox (and of circularly-defined concepts)

Stephan Foldes - Tampere University of Technology - Finland -Universal algebra and boolean functions

Katarzyna Gan-Krzywoszynska -  University of Poznan - Poland -  Change, developpement and progress. Prof. R. Suszko’s study in dynamics of theories

Joseph Goguen - University of California - USA - What is a logic?

Ricardo Gonçalves - Technical University of Lisbon - Portugal - On the algebraization of valuation semantics

Michael Groneberg - University of Fribourg - Switzerland - On the formulation of the principle of correspondance

Juan C. Acosta Guadarrama - New University of Lisbon - Portugal - Towards a language for beliefs and knowledge representation: a roadmap

Edward Haeusler - Puc-Rio - Brazil - Maps and universal constructions for interoperability of logical theories

Ilpo Halonen - University of Helsinki - Finland -Towards universality in logic: philosophical comments on multimodal systems

Zhitao He – Beihang University – China - The theoretical framework and a preliminary implementation of universal logics

Huacan He - Northwestern Polytechnical University - China - A formal deductive system of fuzzy logic based on Schweizer-Sklar T-norm

Michael Heather - Northumbria University - UK - The Logic of Foundations and the Foundations of Logic

Geoffrey Hellman - University of Minnesota - USA - Pluralism in logic: intuitionistic logic and the case of smooth infinitesimal analysis

Hykel Hosni - The University of Manchester - UK - A logical model of rationality as conformity

Jean-Louis Hudry - University of Edinburgh - UK - Kripke's mathematical theory of truth

Antonia Huertas - Open University of Catalonia - Spain - A characterization of quantified hybrid logic

Mark Jago - University of Nottingham - UK - Consitency and relevance

Tomasz Jarmuzek - Nicholas Copernicus University Torun - Poland - Minimal logical systems with R-operator: their metalogical properties and ways of extensions

Ozan Kahramanogullari - University of Leipzig - TU Dresden - Germany - Labelled event structure semantic of linear logic planning

Laurent Keiff - University of Lille 3 - France - Non Normality in Modal Logics, a Dialogical Survey

Vladimir Komendantsky - University College Cork - Ireland - Uniforming the operational semantics of logic programming and sequent calculus

Ekatarina Komendantskaya - University College Cork - Ireland - Uniforming the operational semantics of logic programming and sequent calculus

Yaroslav Kokhan - Institute of Philosophy - Ukraine - Truth function theory in predicate logic

Srecko Kovac - Institute of Philosophy - Croatia - Clusters and modes of presentation

Timm Lampert - University of Bern - Switzerland - Undecidability reconsidered

Jui-Lin Lee - National Chung-Cheng University - Taiwan - Classical model existence theorem in propositional logics

Domenico Lenzi - Universiy of Lecce - Italy -A boolean prime ideal free proof of the embedding theorem of implication algebras into boolean implication algebras

Steffen Lewitzka - PUC-RJ - Brazil - A Topological Approach to Universal Logic: Model-Theoretical Abstract Logics

Tadeusz Litak - Japan Advanced Institute of Science and Technology - Japan - The Blok incompleteness theorem: how to generalize it and why

Alexei Lisitsa - The University of Liverpool - UK - Universality in temporal logic extended by predicate abstraction

Elena Lysanyuk - St Petersburg State University - Russia - How should we study History of Logic?

Casey McGinnis - University of Minnesota  - USA - Tableau Systems for Some Paraconsistent Modal Logics

Maria Emilia Maietti - University of Padova - Italy - Relating algebraic models of predicate logic

Ondrej Majer - Academy of Sciences of the Czech Republic - Czech Republic - Evaluation games for fuzzy logics

Larisa Maksimova - Siberian Branch of Russian Academy of Sciences - Russia - Implicit definability and interpolation in non-classical logics

Maria Manzano - University of Salamanca - Spain - Magical diagonalization

Juliano Maranhão - Puc-SP - Brazil - An abstract model to refine beliefs

Jerusa Marchi - Federal University of Santa Catarina - Brazil - Prime Forms and Belief Revision

Alfio Martini - PUC-RS - Brazil - Maps and Universal Constructions for Interoperability of Logical Theories

Ana Teresa Martins and Lilia Ramalho Martins- Fed. Univ. of Ceara - Brazil - Normalizable Natural Deduction Rules for S4 Modal Operators

Pavel Materna - Academy of Sciences - Czech Republic - Logical form

José M. Mendez - Universidad de Salamanca - Spain - On defining constructive negation in logics of entailment

Fred Michael - Brooklyn College - USA - Normal Logic Without Bivalence

Amirouche Moktefi - IRIST (Strasbourg) - LPHS (Nancy) - France - Lewis Carroll's workable theory of hypotheticals

Morteza Moniri - Shahid Beheshti University - Iran - Model theory for Kripke structures

Alessio Moretti - University of Nice - France - The "Logical Tetradecahedron" Belongs to a (Fractal) Series of Geometrical

Till Mossakowski - Universitaet Bremen - Germany - What is a logic?

Jaroslav Muller - Technical University Ostrava - Czech Republic - Transparent intensional modal logic and model theory

Luke Mulhall - University of Reading - UK - Pouring new wine into old skin: Hume and the early Wittgenstein on Inductions and Causation

Sergio Munoz - Univ. Cat. de la Sant. Concepción - Chile - Algebras for non-structural logics

Veta Murzina - Siberian Branch of Russian Academy of Sciences - Russia - The completeness theorem for temporal logic based on strictly ordered A-spaces

Raja Natarajan - Tata Institute of Fundamental Reasearch - India - Yet another proof of Cantor's theorem

Yury Nechitaylov - St. Petersburg State University - Russia - The problems of parallel programs representation in the dynamic logic

Angel Nepomuceno - University of Seville - Spain - Tableaux for minimal entailment

Sergei Odintsov - Sobolev institut of mathematics - Russia - Some transition theorems for the class of extensions of Nelson's paraconsistent logic

Luca Parisoli - University of Paris X - France - A proposal for a paraconsistent and paracomplete lecture of scotism: modal dilemmas and ontology of truth

Constantin Pavloff - Russia - How the question "What is logic?" leads to the idea of "Logic of analogies"?

Regis Pellissier - University of Nice - France - "Setting" the Modal Graphs

Jaroslav Peregrin - Academy of Sciences- Charles University - Czech Republic - Logical rules and the a priori

Anna Pietryga - Opole University - Poland - On some contradictions in (some) paraconsistent logics

Gabriella Pigozzi - King's College London - UK - Syntatic knowledge fusion in a LDS framework 

Tomasz Polacik - University of Silesia - Poland - Constructiong Kripke models of first-order theories

Gian Luca Pozzato - Università degli Studi di Torino - Italy -CondLean 2.0: an efficient theorem prover for standard conditional logics

Fabio Del Prete - University of Milan - Italy -Irrevocability of the past and time-dependent modalities

Stephen Read - University of St. Andrews - United Kingdom - Harmony and modality

Jacques Riche -    Katholieke Universiteit Leuven - Belgium - From universal algebra to universal logic

Gemma Robles - Universidad de Salamanca - Spain - On defining constructive negation in logics of entailment

Su Rogerson - Monash University - Australia - Hirokawa on right weakening and right contraction

Andrei Rodin - Ecole Normale Superieure - France - Identity and (de)categorification

Vladimir Rybakov - Manchester Metropolitan University - United Kingdom - Inference in discrete linear temporal logic

Constantin Salavastru - Alexandru Ioan Cuza University - Romania - The critique of formal deduction

Constantine Sandis - University of Reading - UK - Pouring new wine into old skin: Hume and the early Wittgenstein on inductions and causation

Katsuhiko Sano - Kyoto University - Japan - Bimodal logics with irreflexive modalitiy

A. V. Ravishankar Sarma - IIT Bombay - India - On causal relevance in belief revision

Sergey Sayadyan - Yerevan State University - Armenia - The relative efficiency of propositional proofs systems for classical and non-classical logics

Fabien Schang - University of Nancy - France - Why not universal logic? Why no universal logic !?

Peter Schroeder-Heister - Universität Tübingen - Germany - Generalized rules, direct negation and definitional reflection

Ken Shiotani - Independent Scholar - Japan - Temporality in logics as a discovering activity: a philosophical note "application"

Giandomenico Sica - University of Neuchâtel - Switzerland - Logico-Mathematical Structures

Ricardo Silvestre - University of Montreal - Canada - Is nonmonotonic logic a logic of induction?

Hartley Slater - University of Western Australia - Australia - A poor concept script

Sonja Smets - Vrije Universiteit Brussel - Belgium - Classical versus quantum propositional dynamic logic

Fernando Soler-Toscano - University o Seville - Spain - Abductive reasoning through delta-resolution

Edelcio de Souza - Pontificia Universidade Catolica da Sao Paulo - Brazil - An abstract consequence structure

Mireille Staschok - Humboldt-University Berlin - Germany - First order logic with empty individual constants

Petros Stefaneas - National Technical University of Athens - Greece - Institutions: Methodological Implications

Lutz Strassburger - Universität des Saarlandes - Germany - What is a logic, and what is a proof?

Dariusz Surowik - University of Bialystok - Poland - Temporal logic of branching time and extensive games

Andrzej Tarlecki - Polish Academy of Sciences - What is a logic?

Bruno Teheux - Université de Liège - Belgium - Studying MV-algebras with the tool of natural duality

Satoshi Tojo - Japan Advanced Institute of Science and Technology - Japan - Judicial knowledge revision with minimal negation

Eugeniusz Tomaszewski - Jagiellonian University - Poland - On minimal sufficiently rich sets of formulas

Evangelos Tzanis - University of Amsterdam - The Netherlands - Algebrizing hybrid logic

Nikos Tzevelekos - Oxford University - UK - Many-valued multiple-expert modal models

Paulo Veloso and Sheila Veloso - Federal University of Rio de Janeiro - Brazil - On logics for 'generally' and their relational interpretations

Jørgen Villadsen - Roskilde University - Denmark - Infinite-valued propositional type theory for semantics

Jacek Waldmajer - University of Opole - Poland - On the problem of the adequacy of representation of knowledge

Heinrich Wansing - Dresden University of Technology - Germany - Negation in categorial grammar

Mark Weinstein - Montclair State University - USA - Emerging Truth: A Metamathematical Model

Ursula Wybraniec-Skardowska - University of Opole - Poland - Meaning and interpretation

Greta Wierzbinska - University Jagiellonski - Poland - A draft on Tarski's thesis on logical consequence

Xu Yang - Southwest Jiaotong University - China - A formal deductive system of fuzzy logic based on Schweizer-Sklar T-norm

Byeong-Uk Yi - University of Minnesota - USA - Is logic axiomatizable?

Ryan Young - The Australian National University - Australia - Compositionality and the truth predicate

Berislav Zarnic - University of Split - Croatia - Moods and negation

Chuan Zhao - Chen-Du University of Technology  - China - The Ways of Orient Logic

Zhang Xiao-hong - Ningbo University - China - A formal deductive system of fuzzy logic based on Schweizer-Sklar T-norm

Richard Zuber - CNRS - France - Quasi-logical quantifiers and semantic universals