Creating and sharing knowledge for telecommunications
... Carlos Manuel Costa Lourenço Caleiro

Senior Researcher

Carlos Caleiro

Academic position: Associate Professor
Joining date: 31-12-2006
Roles in IT: Senior Researcher
Scientific Area: Basic Sciences and Enabling Technologies
Group: Security and Quantum Information - Lx

Email: Send Email
Address: IT – Lisboa
Instituto Superior Técnico - Torre Norte - Piso 10
Av. Rovisco Pais, 1
1049 - 001 Lisboa
Tel: +351 21 841 84 54
Fax: +351 21 841 84 72


Scientific Achievements

  • PhD, Instituto Superior Técnico, 15-12-2000
Supervision of theses
  • S. Marcelino, C. Caleiro, U. Rivieccio, Plug and Play Negations, Chapter in, Contradictions, from Consistency to Inconsistency, W. Carnielli and J. Malinowski, Springer International Publishing AG Springer Nature, Cham, 2018
  • C. Caleiro, M.P.G. Gouveia, J. Ramos, L. Viganò, A tableau-based decision procedure for distributed temporal logic, Chapter in, Logic and Computation -- Essays in Honour of Amilcar Sernadas, pages 73-124, College Publications, London, 2017
  • C. Caleiro, S. Marcelino, J. Marcos, Merging fragments of classical logic, Chapter in, Frontiers of Combining Systems (FroCoS 2017), Springer, Heidelberg, 2017
  • S. Marcelino, C. Caleiro, Disjoint Fibring of Non-deterministic Matrices, Chapter in, Logic, Language, Information, and Computation, WoLLIC 2017, LNCS, vol 10388, Kennedy J., de Queiroz R., Springer Berlin Heidelberg, Berlin, 2017
  • A. Mordido, C. Caleiro, An equation-based classical logic, Chapter in, WoLLIC 2015 - selected papers, D. Leivant, L. Moss, R. de Queiroz, Springer, 2015
  • C. Caleiro, S. Marcelino, P. Baltazar, Deciding theoremhood in fibred logics without shared connectives, Chapter in, JY Beziau's Festschrift, A. Buchsbaum, A. Koslow, Springer, 2014
  • D. Basin, C. Caleiro, Symbolic Probabilistic Analysis of Off-line Guessing, Chapter in, ESORICS 2013 - LNCS 8134, ESORICS, Springer, 2013
  • MV Volpe, J. Marcos, C. Caleiro, Classic-like cut-based tableau systems for finite-valued logics, Chapter in, WoLLIC 2012, Selected Papers, L. Ong, R. de Queiroz, Springer, 2012
  • D. Basin, C. Caleiro, Efficient decision procedures for message deducibility and static equivalence, Chapter in, Formal Aspects of Security and Trust - Lecture Notes in Computer Science, volume 6561, P. Degano, S. Etalle, J. Guttman, Springer, 2011
  • C. Caleiro, A. Sernadas, Fibring Logics, Chapter in, Universal Logic: An Anthology (from Paul Hertz to Dov Gabbay), J-Y Béziau, Birkhäuser, 2010
  • C. Caleiro, J. Marcos, Classic-like analytic tableaux for finite-valued logics, Chapter in, WoLLIC 2009, Selected Papers, volume 5514 of Lecture Notes in Artificial Intelligence, pages 268-280, H. Ono, R. de Queiroz, M. Kanazawa, Springer, 2009
  • C. Caleiro, R. Gonçalves, Algebraic valuations as behavioral logical matrices, Chapter in, WoLLIC 2009, Selected Papers, volume 5514 of Lectures Notes in Artificial Intelligence, pages 13-25, M. Kanazawa, H. Ono e R. de Queiroz, Springer, 2009
  • C. Caleiro, R. Gonçalves, On the algebraization of many-sorted logics, Chapter in, Recent Trends in Algebraic Development Techniques - Selected Papers, volume 4409 of Lecture Notes in Computer Science, pages 21-36, J. Fiadeiro and P.-Y. Schobbens, Springer, 2007
  • C. Caleiro, J. Ramos, Combining Classical and Intuitionistic implications, Chapter in, Frontiers of Combining Systems ( FroCoS2007), volume 4720 of Lecture Notes in Artificial Intelligence, B. Konev and F. Wolter, Springer, Liverpool, 2007
  • C. Caleiro, P. Mateus, A. Sernadas, C. Sernadas, Quantum institutions, Chapter in, Algebra, Meaning and Computation - Essays Dedicated to Joseph A. Goguen on the Ocassion of his 65th Birthday, volume 4060 of Lecture Notes in Computer Science, pages 50-64, K. Futatsugi, J.-P. Jouannaud, and J. Meseguer, Springer, San Diego, 2006
  • C. Caleiro, J. Ramos, Cryptomorphisms at work, Chapter in, Recent Trends in Algebraic Development Techniques - Selected Papers, volume 3423 of Lecture Notes in Computer Science, pages 45-60, J. Fiadeiro, P. Mosses and F. Orejas, Springer, 2005
  • C. Caleiro, W. Carnielli, J. Rasga, C. Sernadas, Fibring of logics as a universal construction, Chapter in, Handbook of Philosophical Logic, 2nd Edition, volume 13, pages 123-187, D. Gabbay and F. Guenthner, Springer, 2005
  • C. Caleiro, R. Gonçalves, Equipollent logical systems, Chapter in, Logica Universalis, pages 99-112, J.-Y. Béziau, Birkhäuser, 2005
  • C. Caleiro, W. Carnielli, M. Coniglio, J. Marcos, Two's company: ''The hunbug of many logical values'', Chapter in, Logica Universalis, pages 169-189, J.-Y. Béziau, Birkhäuser, 2005
  • C. Caleiro, A. Sernadas, C. Sernadas, Fibring logics: Past, present and future, Chapter in, We Will Show Them: Essays in Honour of Dog Gabbay, Volume 1, pages 363-388, S. Artemov, H. Barringer, A.S. d'Avila Garcez, L.C. Lamb and J. Woods, King's College Publications, 2005
  • C. Caleiro, M.P.G. Gouveia, J. Ramos, Completeness results for fibred parchments: Beyond the propositional base, Chapter in, Recent Trends in Algebraic Development Techniques - Selected Papers, volume 2755 of Lecture Notes in Computer Science, pages 185-200, M. Wirsing, D. Pattinson, and R. Hennicker, Springer, 2003
  • C. Caleiro, P. Mateus, J. Ramos, A. Sernadas, Combining logics: Parchments revisited, Chapter in, Recent Trends in Algebraic Development Techniques - Selected Papers, volume 2267 of Lecture Notes in Computer Science, pages 48-70, M. Cerioli and G. Reggio, Springer, 2001
  • A. Sernadas, C. Sernadas, C. Caleiro, T. Mossakowski, Categorial fibring of logics with terms and binding operators, Chapter in, Frontiers of Combining Systems 2, pages 295--316, D. Gabbay and M. de Rijke, Research Studies Press, 2000
  • C. Caleiro, C. Sernadas, A. Sernadas, Parameterisation of logics, Chapter in, Recent Trends in Algebraic Development Techniques - Selected Papers, volume 1589 of Lecture Notes in Computer Science, pages 48-62, J. Fiadeiro, Springer, 1999
  • H.-D. Ehrich, C. Caleiro, A. Sernadas, G. Denker, Logics for specifying concurrent information systems, Chapter in, Logic for Databases and Information Systems, pages 167--198, J. Chomicki and G. Saake, Kluwer Academic, 1998
  • A. Sernadas, C. Sernadas, C. Caleiro, Synchronization of Logics with Mixed Rules: Completeness preservation, Chapter in, Algebraic Methodology and Software Technology, volume 1349 of Lecture Notes in Computer Science, pages 465--478, M. Johnson, Springer, 1997
  • G. Denker, J. Ramos, C. Caleiro, A. Sernadas, A linear temporal logic approach to objects with transactions, Chapter in, Algebraic Methodology and Software Technology, volume 1349 of Lecture Notes in Computer Science, pages 170-184, M. Johnson, Springer, 1997
  • C. Caleiro, On the relationship between operational and denotational semantics of temporal logic specification of object behaviour, Chapter in, IS-CORE'94 - Selected papers, pages 69-83, R. Wieringa and R. Feenstra, World Scientific Publishing, 1995
  • C. Caleiro, S. Marcelino, U. Rivieccio, Characterizing finite-valuedness, Fuzzy Sets and Systems, Vol. 345, No. 0, pp. 113 - 125, October, 2018 | BibTex
  • S. Marcelino, C. Caleiro, J. Marcos, Combining fragments of classical logic: When are interaction principles needed?, Soft Computing, Vol. 00, No. 00, pp. 00 - 00, October, 2018 | BibTex
  • C. Caleiro, A. Mordido, Probabilistic logic over equations and domain restrictions, Mathematical Structures in Computer Science, Vol. 0, No. 0, pp. 0 - 0, December, 2017 | BibTex
  • C. Caleiro, L. Viganò, Compositional meaning in logic, Logica Universalis, Vol. 11, No. 3, pp. 283 - 295, August, 2017 | BibTex
  • C. Caleiro, F. Casal, A. Mordido, Generalized probabilistic satisfiability, Electronic Notes in Theoretical Computer Science, Vol. 332, No. 0, pp. 39 - 56, June, 2017 | BibTex
  • S. Marcelino, C. Caleiro, On the characterization of fibred logics, with applications to conservativity and finite-valuedness, Journal of Logic and Computation, Vol. 27, No. 7, pp. 2063 - 2088, August, 2016,
    | Abstract
    | BibTex
  • S. Marcelino, C. Caleiro, Decidability and complexity of fibred logics without shared connectives, Logic Journal of the IGPL, Vol. 24, No. 5, pp. 673 - 707, June, 2016,
    | Abstract
    | BibTex
  • C. Caleiro, J. Marcos, MV Volpe, Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics, Theoretical Computer Science, Vol. 608, No. 0, pp. 84 - 110, October, 2015 | BibTex
  • C. Caleiro, R. Gonçalves, Abstract valuation semantics, Studia Logica, Vol. 101, No. 4, pp. 677 - 712, July, 2013 | BibTex
  • C. Caleiro, L. Viganò, MV Volpe, On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators, Logica Universalis, Vol. 7, No. 1, pp. 33 - 69, January, 2013 | BibTex
  • C. Caleiro, M.P.G. Gouveia, J. Ramos, Hierarchical logical consequence, Logic Journal of the IGPL, Vol. 19, No. 4, pp. 544 - 565, July, 2011 | BibTex
  • D. Basin, C. Caleiro, J. Ramos, L. Viganò, Distributed temporal logic for the analysis of security protocol models, Theoretical Computer Science, Vol. 412, No. 31, pp. 4007 - 4043, July, 2011 | BibTex
  • C. Caleiro, J. Marcos, Many-valuedness meets bivalence: Using logical values in an effective way, Journal of Mutiple-Valued Logic and Soft Computing, Vol. 0, No. 0, pp. 0 - 0, July, 2011 | BibTex
  • C. Caleiro, R. Gonçalves, Towards a behavioral algebraic theory of logical valuations, Fundamenta Informaticae, Vol. 106, No. 0, pp. 2 - 4, May, 2010 | BibTex
  • C. Caleiro, Modeling and reasoning about an attacker with cryptanalytical capabilities, Electronic Notes in Theoretical Computer Science, Vol. 253, No. 3, pp. 143 - 165, July, 2009 | BibTex
  • C. Caleiro, R. Gonçalves, M.M. Martins, Behavioral algebraization of logics, Studia Logica, Vol. 91, No. 1, pp. 63 - 111, January, 2009 | BibTex
  • D. Basin, C. Caleiro, J. Ramos, L. Viganò, Labelled tableaux for distributed temporal logic, Journal of Logic and Computation, Vol. 19, No. 6, pp. 1245 - 1279, January, 2009 | BibTex
  • C. Caleiro, R. Gonçalves, Behavioral algebraization of da Costa's C-systems, Journal of Appl. Non-Classical Logics, Vol. 19, No. 2, pp. 127 - 148, January, 2009 | BibTex
  • C. Caleiro, J. Ramos, From fibring to cryptofibring: a solution to the collapsing problem, Logica Universalis, Vol. 1, No. 1, pp. 71 - 92, January, 2007 | BibTex
  • C. Caleiro, L. Viganò, D. Basin, On the semantics of Alice&Bob specifications of security protocols, Theoretical Computer Science, Vol. 367, No. 1-2, pp. 88 - 122, May, 2006 | BibTex
  • C. Caleiro, L. Viganò, D. Basin, Deconstructing Alice and Bob, Electronic Notes in Theoretical Computer Science, Vol. 135, No. 1, pp. 3 - 22, January, 2005 | BibTex
  • C. Caleiro, L. Viganò, D. Basin, Metareasoning about security protocols using distributed temporal logic, Electronic Notes in Theoretical Computer Science, Vol. 125, No. 1, pp. 67 - 89, January, 2005 | BibTex
  • C. Caleiro, L. Viganò, D. Basin, Relating strand spaces and distributed temporal logic for security protocol analysis, Logic Journal of the IGPL, Vol. 13, No. 6, pp. 637 - 664, January, 2005 | BibTex
  • C. Caleiro, W. Carnielli, M. Coniglio, A. Sernadas, C. Sernadas, Fibring non-truth-functional logics: Completeness Preservation, Journal of Logic, Language, and Information, Vol. 12, No. 2, pp. 183 - 211, January, 2003 | BibTex
  • H.-D. Ehrich, C. Caleiro, Specifying communication in distributed information systems, Acta Informatica, Vol. 36, No. -, pp. 591 - 616, January, 2000 | BibTex
  • A. Sernadas, C. Sernadas, C. Caleiro, Fibring of logics as a categorial construction, Journal of Logic and Computation, Vol. 9, No. 2, pp. 149 - 179, January, 1999 | BibTex
  • A. Sernadas, C. Sernadas, C. Caleiro, Denotational Semantics of Object Specification, Acta Informatica, Vol. 35, No. -, pp. 729 - 773, January, 1998 | BibTex
  • A. Sernadas, C. Sernadas, C. Caleiro, Synchronization of Logics, Studia Logica, Vol. 59, No. 2, pp. 217 - 247, January, 1997 | BibTex
  • C. Caleiro, G. Saake, A. Sernadas, Deriving liveness goals from temporal logic specifications, Journal of Symbolic Computation, Vol. 22, No. -, pp. 521 - 553, January, 1996 | BibTex
  • C. Caleiro, Operational semantics of temporal object specification, INESC Journal on Junior Activities in Science and Technology, Vol. 1, No. 1, pp. 7 - 35, January, 1994 | BibTex
  • C. Caleiro, G. Ramos, S. Pequito, The robust minimal controllability problem for switched linear continuous-time systems, American Control Conference, Milwaukee, United States, Vol., pp. -, June, 2018 | BibTex
  • S. Marcelino, C. Caleiro, Semantics for combined Hilbert calculi, World Congress and School on Universal Logic - UNILOG, Vichy, France, Vol., pp. -, June, 2018 | BibTex
  • S. Marcelino, C. Caleiro, Modular analysis of Hilbert calculi, World Congress and School on Universal Logic - UNILOG, Vichy, France, Vol., pp. -, June, 2018 | BibTex
  • C. Caleiro, J. Saúde, G. Ramos, S. Kar, Reputation-based ranking systems and their resistance to bribery, International Conf. on Data Mining, New Orleans, United States, Vol., pp. -, November, 2017 | BibTex
  • S. Marcelino, C. Caleiro, J. Marcos, What the bleep do we know about classical connectives?, Isralog 2017, Haifa, Israel, Vol., pp. -, October, 2017 | BibTex
  • S. Marcelino, C. Caleiro, Fibring partial non-deterministic matrices, Isralog 2017, Haifa, Israel, Vol., pp. -, October, 2017 | BibTex
  • C. Caleiro, F. Casal, A. Mordido, Classical generalized probabilistic satisfiability, International Joint Conf. on Artificial Intelligence - IJCAI, Melbourne, Australia, Vol., pp. -, August, 2017 | BibTex
  • S. Marcelino, C. Caleiro, Disjoint fibring of non-deterministic matrices, 24th Workshop on Logic Language Information and Computation Wollic 2017, London, United Kingdom, Vol., pp. -, July, 2017 | BibTex
  • G. Ramos, C. Caleiro, Symbolic Probabilistic Analysis of Side-Channel Information, Sessão Especial/Temática “Criptografia e Tópicos Relacionados” no “Encontro Nacional da Sociedade Portuguesa de Matemática 2016” Guilherme Henrique Caçador Ramos, Barreiro, Portugal, Vol. n.a., pp. n.a. - n.a., July, 2016,
    | Abstract
    | BibTex
  • S. Marcelino, C. Caleiro, J. Marcos, U. Rivieccio, On the abstract characterization of broadly truth-functional logics, International Joint Conf. on Automated Reasoning - IJCAR, Coimbra, Portugal, Vol. 0, pp. 0 - 0, July, 2016,
    | Abstract
    | BibTex
  • S. Marcelino, C. Caleiro, J. Marcos, Can classical reasoning be recovered through the combination of logics?, International Joint Conf. on Automated Reasoning - IJCAR, Coimbra, Portugal, Vol. 0, pp. 0 - 0, July, 2016,
    | Abstract
    | BibTex
  • C. Caleiro, S. Marcelino, Combined logics - characterizing mixed reasoning and applications, GeTFun Compositional Meaning in Logic - GeTFun, Natal, Brazil, Vol. 0, pp. 0 - 0, September, 2015 | BibTex
  • C. Caleiro, S. Marcelino, J. Marcos, Cancellation, many-valuedness, and combined logics, World Congress and School on Universal Logic - UNILOG, Istanbul, Turkey, Vol. 0, pp. 0 - 0, June, 2015 | BibTex
  • C. Caleiro, S. Marcelino, Fibring logics: decidability and conservativity (Part I), World Congress and School on Universal Logic - UNILOG, Istanbul, Turkey, Vol. 0, pp. 0 - 0, June, 2015 | BibTex
  • C. Caleiro, S. Marcelino, Fibring logics: decidability and conservativity (Part II), World Congress and School on Universal Logic - UNILOG, Istanbul, Turkey, Vol. 0, pp. 0 - 0, June, 2015 | BibTex
  • C. Caleiro, S. Marcelino, Conservativity of fibred logics via reflective translations, AiML.net Advances in Modal Logic - AiML, Groningen, Netherlands, Vol. 1, pp. 0 - 0, August, 2014 | BibTex
  • S. Marcelino, C. Caleiro, Conservativity of fibred logics via reflective translations, AiML.net Advances in Modal Logic - AiML, Groningen, Netherlands, Vol. 0, pp. 0 - 0, August, 2014,
    | Abstract
    | BibTex
  • C. Caleiro, S. Marcelino, J. Marcos, On the characterization of broadly truth-functional logics, GeTFun Compositional Meaning in Logic - GeTFun, Vienna, Austria, Vol. 1, pp. 0 - 0, July, 2014 | BibTex
  • S. Marcelino, C. Caleiro, On the characterization of broadly truth-functional logics, GeTFun Compositional Meaning in Logic - GeTFun, Vienna, Austria, Vol. 0, pp. 0 - 0, July, 2014,
    | Abstract
    | BibTex
  • C. Caleiro, L. Viganò, MV Volpe, A labeled deduction system for the logic UB, Symp. on Temporal Representation and Reasoning, Pensacola, FL, United States, Vol. 978-1-4799-2240-6, pp. 45 - 53, September, 2013 | BibTex
  • C. Caleiro, S. Marcelino, P. Baltazar, Conservativeness and decidability of fibred logics, Logic Colloquium, Evora, Portugal, Vol. 0, pp. 0 - 0, July, 2013 | BibTex
  • C. Caleiro, J. Marcos, C. B. Blasio, On B-entailment, Logic Colloquium, Evora, Portugal, Vol. 0, pp. 0 - 0, July, 2013 | BibTex
  • J. Ramos, C. Caleiro, Classical and intuitionistic propositional logic, Logic Colloquium, Evora, Portugal, Vol. 0, pp. 0 - 0, July, 2013 | BibTex
  • C. Caleiro, S. Marcelino, Combining logics, cryptofibred semantics and completeness preservation, World Congress and School on Universal Logic - UNILOG, Rio de Janeiro, Brazil, Vol. 0, pp. 0 - 0, April, 2013 | BibTex
  • J. Ramos, C. Caleiro, Classical and intuitionistic propositinal logic, World Congress and School on Universal Logic - UNILOG, Rio de Janeiro, Brazil, Vol. 1, pp. 244 - 245, March, 2013,
    | Abstract
    | Full text (PDF 81 KBs) | BibTex
  • D. Basin, C. Caleiro, FAST - An efficient decision procedure for deduction and static equivalence, International Conf. on Rewriting Techniques and Applications - RTA, Novi Sad, Serbia & Montenegro, Vol. 10, pp. 11 - 20, July, 2011 | BibTex
  • C. Caleiro, J. Marcos, Two Many Values: An algorithmic outlook on Suszko’s Thesis, International Symp. on Many-Valued Logic - ISMVL, Barcelona, Spain, Vol. -, pp. - - -, January, 2010 | BibTex
  • C. Caleiro, Modeling and reasoning about an attacker with cryptanalytical capabilities, Workshop on Quantitative Aspects of Programming Languages - QAPL, York, United Kingdom, Vol. -, pp. - - -, March, 2009 | BibTex
  • D. Basin, C. Caleiro, J. Ramos, L. Viganò, Labeled tableaux for distributed temporal logic, Symp. on Temporal Representation and Reasoning, Québec, Canada, Vol. -, pp. 101 - 109, June, 2008 | BibTex
  • C. Caleiro, J. Ramos, Accepted for publication - Combining classical and intuitionistic implications, Frontiers of Combining Systems - FroCos 98, Santa Margherita, Italy, Vol. -, pp. - - -, April, 2008 | BibTex
  • C. Caleiro, J. Ramos, Cryptofibring, Comblog Workshop on Combination of Logics: Theory and Applications - CombLog, Lisboa, Portugal, Vol. -, pp. 87 - 92, January, 2004 | BibTex
  • C. Caleiro, L. Viganò, D. Basin, Towards a metalogics for security protocol analysis, Comblog Workshop on Combination of Logics: Theory and Applications - CombLog, Lisboa, Portugal, Vol. -, pp. 187 - 196, January, 2004 | BibTex
  • C. Caleiro, J. Marcos, Non-truth-functional fibred semantics, International Conf. on Artificial Intelligence - IC-AI, Nevada, United States, Vol. -, pp. 48 - 70, June, 2001 | BibTex

Currently running projects1

Acronym Name Funding Agency Start date Ending date
DP-PMI Doctoral Programme in the Physics and Mathematics of Information: Foundations of Future Information Technologies (DP-PMI) FCT 01-01-2014 01-12-2021

Closed Projects4

Acronym Name Funding Agency Start date Ending date
ComFormCrypt ComFormCrypt - Computational Semantics of Formal Methods in Cryptography FCT/PTDC 01-02-2011 01-07-2014
GeTFun GeTFun - Generalizing Truth-Functionality EC/FP7 01-01-2013 01-12-2016
KLog KLog - Logics for Security FCT/PTDC 01-08-2007 01-08-2010
QuanLog Logic in Quantum Computation and Information FCT/POCI 01-01-2005 01-12-2007
  • World Congress and School on Universal Logic - UNILOG, Conference Chairman, 2010
  • Member of Editorial Board, Logica Universalis, 01-01-2007 - today