Workshop on Combination of Logics: Theory and Applications
of Mathematics, IST, Lisbon, Portugal
July 28-30, 2004
Keynote talks (60m)
Dov Gabbay, King's College,
London. Reactive Kripke semantics and arc accessibility.
Joseph Goguen, University
of California, San Diego. Data, schema and ontology integration.
Joseph Halpern, Cornell
University. Using counterfactuals in knowledge-based programming.
de Jongh, University of Amsterdam. Properties
of intuitionistic provability and preservativity logics.
Don Pigozzi, Iowa State
University. Combining interpreted languages in abstract algebraic logic.
University of Helsinki. Logics of imperfect information.
Andrzej Tarlecki, Warsaw
University. Software specification and development in heterogeneous environments.
Frank Wolter, University
of Liverpool. Why are combined modal logics so robustly undecidable?.
Contributed and invited talks (30m)
Jean-Yves Béziau, University
of Neuchâtel. A paradox in the combination of logics.
Juliana Bueno, CLE,
University of Campinas. Finite algebraizability via possible-translations
Carlos Caleiro, CLC,
IST, Technical University of Lisbon. Cryptofibring.
CLE, University of Campinas. Fibring algebraizable consequence systems.
Vania Costa, Federal
University of Rio de Janeiro. Formalizing concurrent common knowledge as
product of modal logics.
University of Neuchâtel. Combining possibility and knowledge.
Razvan Diaconescu, Institute of
Mathematics "Simion Stoilow", Bucharest. Abstract modalities and institutions.
Marcelo Finger, IME, São
Paulo University. Fusions of normal and non-normal modal logics.
João Marcos, CLC,
IST, Technical University of Lisbon. Possible-translations semantics.
University of Bremen. Heterogeneous specification and the heterogeneous tool set.
Amílcar Sernadas, CLC,
IST, Technical University of Lisbon. Exogenous quantum logic.
Cristina Sernadas, CLC,
IST, Technical University of Lisbon. Preservation of interpolation by fibring.
Federal University of Rio de Janeiro. On filter logics for Most and special
Ventura Verdú, University of
Barcelona. Analysis of two fragments with negation and without implication of the logic of residuated lattices.
Luca Viganò, ETH, Zurich.
Towards a metalogic for security protocol analysis.
University of Padova.
Combining linear orders with modalities for possible histories.
For further information contact email@example.com.
Last update: July 30, 2004.