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.