Centre for Logic, Epistemology and the History of Science (CLE)

Main Page


Editorial Board

Rules and Instructions
Sites Pointing to CLE e-Prints

CLE e-Prints eletronic version
ISSN 1519-9681
CLE e-Prints printed version 
ISSN 1519-9614
Vol. 4(5), 2004 (Section Logic)
Proceedings of the CombLog'04
Walter A. Carnielli
Centre for Logic, Epistemology and the History of Science – CLE
State University of Campinas, Unicamp - Brazil

F. Miguel Dionísio
Center for Logic and Computation - CLC
IST, Technical University of Lisbon - Portugal

Paulo Mateus
Center for Logic and Computation - CLC
IST, Technical University of Lisbon - Portugal
A r t i c l e s
The Workshop on Combination of Logics: Theory and Applications (CombLog'04) Forward
Walter A. Carnielli, F. Miguel Dionísio and Paulo C. Mateus
Reactive Kripke Semantics and Arc Accessibility D. Gabbay
D. Gabbay
Department of Computer Science
King's College London, U.K.
Data, Schema and Ontology Integration Joseph A. Goguen
Joseph A. Goguen
Department of Computer Science and Engineering
University of California, San Diego, U.S.A.
Using Counterfactuals in Knowledge-Based Programming Joseph Y. Halpern, Yoram Moses
Joseph Y. Halpern1, Yoram Moses2
1 Department of Computer Science, Cornell University, Ithaca, NY 14853, U.S.A.
2 Department of Electrical Engineering, Technion-Israel Institute of Technology, 32000 Haifa, Israel
Properties of Intuitionistic Provability and Preservativity Logics Rosalie Iemhoff, Dick de Jongh, Chunlai Zhou
Rosalie Iemhoff1, Dick de Jongh2 and Chunlai Zhou3
1 Institute for Discrete Mathematics and Geometry, Technical University Vienna
Wiedner Hauptstrasse 8-10 A-1040 Wien, Austria
2 Institute for Logic, Language and Computation, University Amsterdam
Plantage Muidergracht 24 1018 TV Amsterdam, The Netherlands
3 Department of Mathematics, Indiana University
Bloomington IN 47405, U.S.A.
Combining Interpreted Languages in Abstract Algebraic Logic Don Pigozzi
Don Pigozzi
Department of Mathematics
Iowa State University, U.S.A.
Logics of Imperfect Information Gabriel Sandu
Gabriel Sandu
Department of Philosophy
University of Helsinki, Finland
Software Specification and Development in Heterogeneous Environments Andrzej Tarlecki
Andrzej Tarlecki
Institute of Informatics, Warsaw University and
Institute of Computer Science, Polish Academy of Sciences, Warsaw, Poland
Why are Combined Modal Logics so Robustly Undecidable? Frank Wolter
Frank Wolter
Department of Computer Science, University of Liverpool
Liverpool L69 7ZF, U.K.
A Paradox in the Combination of Logics Jean-Yves Béziau
Jean-Yves Béziau
Institute of Logic, University of Neuchâtel, Neuchâtel, Switzerland
Member of the LOCIA project (CNPq, Brazil)
Finite Algebraizability Via Possible-Translations Semantics J. Bueno, M.E. Coniglio, W.A. Carnielli
J. Bueno, M.E. Coniglio and W.A. Carnielli
CLE and IFCH - Universidade Estadual de Campinas - Unicamp
P.O. Box - 6133, 13081-970, Campinas-SP, Brazil
Cryptofibring Carlos Caleiro, Jaime Ramos
Carlos Caleiro and Jaime Ramos
CLC, Department of Mathematics, IST, Lisbon, Portugal
Fibring Algebraizable Consequence Systems V.L. Fernández, M.E. Coniglio
V.L. Fernández and M.E. Coniglio
CLE and IFCH - Universidade Estadual de Campinas - Unicamp
P.O. Box - 6133, 13083-970, Campinas-SP, Brazil
Formalizing Concurrent Common Knowledge as Product of Modal Logics Vania Costa, Mário Benevides
Vania Costa and Mário Benevides
System Engineering and Computer Science Program, COPPE
Federal University of Rio de Janeiro - UFRJ
Mailbox 68511, 21945-970 Rio de Janeiro-RJ, Brazil
Combining possibility and knowledge Alexandre Costa-Leite
Alexandre Costa-Leite
Institute of Logic - University of Neuchâtel, Neuchâtel - Switzerland
GTAL - Unicamp - Brazil
Fusions of Normal and Non-normal Modal Logics Marcelo Finger
Marcelo Finger
Department of Computer Science
University of São Paulo - Brazil
Possible-Translations Semantics João Marcos
João Marcos
Center for Logic and Computation, IST, Lisbon, Portugal
Department of Philosophy, Unicamp, Brazil
Center for Exact Sciences, UnilesteMG, Brazil
Heterogeneous Specification and the Heterogeneous Tool Set Till Mossakowski
Till Mossakowski
BISS, Department of Computer Science
University of Bremen - Germany
Exogenous Quantum Logic Paulo Mateus, Amílcar Sernadas
Paulo Mateus and Amílcar Sernadas
CLC, Department of Mathematics
IST, Lisbon, Portugal
Preservation of Interpolation by Fibring Walter A. Carnielli, Cristina Sernadas, Alberto Zanardo
Walter A. Carnielli1, Cristina Sernadas2 and Alberto Zanardo3
1 CLE and Department of Philosophy/IFCH, UNICAMP, Brazil
2 CLC, Department Mathematics, IST, Portugal
3 Department of Pure and Applied Mathematics, University of Padova, Italy
Abstract Modalities and Institutions Razvan Diaconescu, Petros Stefaneas
Razvan Diaconescu1, Petros Stefaneas2
1 Institute of Mathematics "Simion Stoilow", PO Box 1-764, Bucharest 70700, Romania
2 National Technical University Athens, Greece
On Filter Logics for 'Most' and Special Predicates Paulo A.S. Veloso, Sheila R.M. Veloso
Paulo A.S. Veloso and Sheila R.M. Veloso
Caixa Postal - 68511
21945-970 Rio de Janeiro-RJ, Brazil
Analysis of Two Fragments of the Logic of Residuated Lattices Félix Bou, Àngel García-Cerdaña, Ventura Verdú
Félix Bou1, Àngel García-Cerdaña2 and Ventura Verdú1
1 Department of Logic, History and Philosophy of Science, University of Barcelona, Spain
2 Institute of Investigation in Artificial Intelligence, CSIC, Bellaterra, Spain
Towards a Metalogic for Security Protocol Analysis Carlos Caleiro, Luca Viganò, David Basin
Carlos Caleiro1, Luca Viganò2 and David Basin2
1 CLC, Department Mathematics, IST, Lisbon, Portugal
2 Department of Computer Science, ETH Zurich, Switzerland
Combining Linear Orders with Modalities for Possible Histories Valentin Goranko, Alberto Zanardo
Valentin Goranko1, Alberto Zanardo2
1 Department of Mathematics, Rand Afrikaans University, Johannesburg
2 Department of Pure and Applied Mathematics, University of Padova, Italy

Date Posted: September, 08th 2004

© 2001 - Centro de Lógica, Epistemologia e História da Ciência - CLE
Last Update: September, 20th, 2004
Problems, sugestions and questions about this site?
contact: e-prints@cle.unicamp.br