Lirong Ai – Northwestern Polytechnical University
– China  The theoretical framework and a preliminary implementation
of universal logics 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 superlogic 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 firstorder completeness from a computerchecked 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
 SuperS5 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? JeanPierre 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íazEsté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 circularlydefined concepts) Stephan Foldes  Tampere University of Technology  Finland Universal algebra and boolean functions Katarzyna GanKrzywoszynska  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  PucRio  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
SchweizerSklar Tnorm 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 JeanLouis 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 Roperator: 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 JuiLin Lee  National ChungCheng 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  PUCRJ  Brazil  A Topological Approach to Universal Logic: ModelTheoretical 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
nonclassical logics Maria
Manzano  University of Salamanca  Spain 
Magical diagonalization Juliano Maranhão  PucSP  Brazil  An
abstract model to refine beliefs Jerusa Marchi  Federal University of Santa
Catarina  Brazil  Prime Forms and Belief Revision Alfio Martini  PUCRS  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 nonstructural logics Veta
Murzina  Siberian Branch of Russian Academy of Sciences 
Russia  The completeness theorem for temporal logic based on strictly
ordered Aspaces 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 firstorder 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 timedependent 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 nonclassical logics Fabien Schang  University of Nancy  France 
Why not universal logic? Why no universal logic !? Peter
SchroederHeister  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  LogicoMathematical 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 SolerToscano  University o
Seville  Spain  Abductive reasoning through deltaresolution Edelcio de Souza  Pontificia Universidade
Catolica da Sao Paulo  Brazil  An abstract consequence
structure Mireille Staschok  HumboldtUniversity 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
MValgebras 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  Manyvalued
multipleexpert 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 
Infinitevalued 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 WybraniecSkardowska  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 SchweizerSklar Tnorm ByeongUk 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  ChenDu University of Technology  China  The Ways of Orient Logic Zhang Xiaohong  Ningbo University  China  A formal deductive system of fuzzy logic based on SchweizerSklar Tnorm Richard Zuber  CNRS  France  Quasilogical quantifiers and semantic universals 