|
|
Centre for Logic, Epistemology and the History of Science (CLE) |
|
|
|
|
Rules and Instructions | Sites Pointing to CLE e-Prints |
|
ISSN 1519-9681 |
|
ISSN 1519-9614 |
|
|
|
Centre for Logic, Epistemology and the History of Science – CLE State University of Campinas, Unicamp - Brazil 
carniell@cle.unicamp.brCenter for Logic and Computation - CLC IST, Technical University of Lisbon - Portugal
fmd@math.ist.utl.ptCenter for Logic and Computation - CLC IST, Technical University of Lisbon - Portugal
pmat@math.ist.utl.pt |
Foreward Walter A. Carnielli, F. Miguel Dionísio and Paulo C. Mateus |
|
| Reactive Kripke
Semantics and Arc Accessibility
D. Gabbay Department of Computer Science King's College London, U.K. |
|
| Data, Schema and
Ontology Integration
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. 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 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 Department of Mathematics Iowa State University, U.S.A. |
|
| Logics of Imperfect
Information
Gabriel Sandu Department of Philosophy University of Helsinki, Finland |
|
| Software Specification
and Development in Heterogeneous Environments
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 Department of Computer Science, University of Liverpool Liverpool L69 7ZF, U.K. |
|
| A Paradox in the
Combination of Logics
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 and W.A. Carnielli CLE and IFCH - Universidade Estadual de Campinas - Unicamp P.O. Box - 6133, 13081-970, Campinas-SP, Brazil |
|
| Cryptofibring
Carlos Caleiro and Jaime Ramos CLC, Department of Mathematics, IST, Lisbon, Portugal |
|
| Fibring Algebraizable
Consequence Systems
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 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 Institute of Logic - University of Neuchâtel, Neuchâtel - Switzerland GTAL - Unicamp - Brazil |
|
| Fusions of Normal
and Non-normal Modal Logics
Marcelo Finger Department of Computer Science University of São Paulo - Brazil |
|
| Possible-Translations
Semantics
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 BISS, Department of Computer Science University of Bremen - Germany |
|
| Exogenous Quantum
Logic
Paulo Mateus and Amílcar Sernadas CLC, Department of Mathematics IST, Lisbon, Portugal |
|
| Preservation of
Interpolation by Fibring
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 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 and Sheila R.M. Veloso PESC, COPPE, UFRJ Caixa Postal - 68511 21945-970 Rio de Janeiro-RJ, Brazil |
|
| Analysis of Two
Fragments of the Logic of Residuated Lattices
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 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 Goranko1, Alberto Zanardo2 1 Department of Mathematics, Rand Afrikaans University, Johannesburg 2 Department of Pure and Applied Mathematics, University of Padova, Italy |
|
|
|
|
|
|