Workshop on Combination of Logics: Theory and Applications
CLC, Department
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.
-
Dick
de Jongh, University of Amsterdam. Properties
of intuitionistic provability and preservativity logics.
-
Don Pigozzi, Iowa State
University. Combining interpreted languages in abstract algebraic logic.
-
Gabriel Sandu,
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
semantics.
-
Carlos Caleiro, CLC,
IST, Technical University of Lisbon. Cryptofibring.
-
Marcelo Coniglio,
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.
-
Alexandre Costa-Leite,
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.
-
Till Mossakowski,
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.
-
Paulo Veloso,
Federal University of Rio de Janeiro. On filter logics for Most and special
predicates.
-
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.
-
Alberto Zanardo,
University of Padova.
Combining linear orders with modalities for possible histories.
For further information contact acs@math.ist.utl.pt.
Last update: July 30, 2004.