Long term visitors
at CLC (now SQIG at IT) with publications
resulting from work at the
Center:
- Mingsheng Ying (Tsinghua U, Beijing, China), March - June
2006. Support: CLC.
- Walter Carnielli
(CLE, U Campinas, Brazil), February - July 2004. Support: CLC.
- W. A. Carnielli and C. Sernadas. Preservation of
interpolation features by fibring. Preprint, CLC, Department of
Mathematics, Instituto Superior Técnico, 1049-001 Lisboa, Portugal,
2004. Submitted for publication.
- C. Caleiro, W. A. Carnielli, J. Rasga and
C. Sernadas. Fibring of logics as a universal construction.
Preprint, CLC, Department of Mathematics, Instituto Superior Técnico,
1049-001 Lisboa, Portugal, 2004. Submitted to the Handbook of
Philosophical Logic.
Get a preprint: 04-CCRS-fiblog23.ps
04-CCRS-fiblog23.pdf
- W. A. Carnielli, M. E. Coniglio and J. Marcos.
Logics of formal inconsistency. In D. Gabbay and
F. Guenthner, editors, Handbook of Philosophical Logic,
volume 12. Kluwer Academic Publishers, in print.
Get a preprint: 03-CCM-lfi.pdf
- W. A. Carnielli, C. Sernadas and A. Zanardo.
Preservation of interpolation by fibring. In W. A. Carnielli,
F. M. Dionísio and P. Mateus, editors, Proceedings of
CombLog'04, Workshop on Combination of Logics: Theory and Applications,
pages 151--157, 1049-001 Lisboa, Portugal, 2004. Departamento de
Matemática, Instituto Superior Técnico. Extended abstract.
Get a preprint: 04-CSZ-fiblog21s.pdf
- George Janelidze
(Georgian Academy of Sciences, Tbilisi), April - May 2002. Support:
CLC.
- D. Bourn and G. Janelidze. Characterization of protomodular
varieties of universal algebras. Theory and Applications of
Categories, 11:143--147, 2003.
- G. Janelidze. Internal crossed modules. Georgian
Mathematical Journal, 10(1):99--114, 2003.
- A. Carboni and G. Janelidze. Boolean Galois theories. Georgian
Mathematical Journal, 9(4):645--658, 2002.
- Alberto Zanardo
(Università di Padova, Italy), September - December 2000. Support: CLC.
- A. Sernadas, C. Sernadas and A. Zanardo.
Fibring modal first-order logics: Completeness preservation. Logic
Journal of the IGPL, 10(4):413--451, 2002.
Get a preprint: 01-SSZ-fiblog4.ps
01-SSZ-fiblog4.pdf
- Alberto Zanardo
(Università di Padova, Italy), March - May 1998. Support: CLC.
- A. Zanardo, A. Sernadas and C. Sernadas.
Fibring: Completeness preservation. Journal of Symbolic Logic,
66(1):414--439, 2001.
Get a preprint: 99-ZSS-fiblog3.ps
99-ZSS-fiblog3.pdf
- Javier Pinto
(Universidad Católica de Chile), January - March 1998.
Support: CLC.
- J. Pinto, A. Sernadas, C. Sernadas and
P. Mateus. Non-determinism and uncertainty in the Situation
Calculus. International Journal of Uncertainty, Fuzziness and
Knowledge-Based Systems, 8(2):127--149, 2000. Full version of pin:acs:css:pmat:99a.
Get a preprint: 99-PSSM-probscx.ps
- J. Pinto, A. Sernadas, C. Sernadas and
P. Mateus. Non-determinism and uncertainty in the Situation
Calculus. In A. Kumar and I. Russell, editors, Proceedings
of the FLAIRS'99 - the 12th International Florida AI Research Symposium,
pages 454--460. AAAI Press, 1999. Short version of pin:acs:css:pmat:99b.
Get a preprint: 98-PSSM-probsc.ps
- Pierre-Yves Schobbens
(University of Namur, Belgium), October 1997 - March 1998. Support:
CLC.
- P.-Y. Schobbens, G. Saake, A. Sernadas and
C. Sernadas. U2: A two-level temporal logic for evolving
specifications. Information Processing Letters, 83(3):167--172,
2002.
Get a preprint: 99-SSSS-u2.ps
Last update: July 11, 2006.