Creating and sharing knowledge for telecommunications

IT Member Profile

... Carlos Manuel Costa Lourenco Caleiro

Senior Researcher

Carlos Caleiro

Academic position: Associate Professor
Joining date: 31-12-2006
Roles in IT: Senior Researcher
Thematic Line: 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

ORCID iD
https://www.orcid.org/0000-0001-5587-6585

Collaboration Network
 

SCHOLAR

Scientific Achievements

  • PhD, Instituto Superior Técnico, 15-12-2000
6Supervision of PhD theses
As Supervisor
4Books
32Books Chapters
  • S. Marcelino, C. Caleiro, U. Rivieccio, Some more theorems on structural entailment relations and non-deterministic semantics, Chapter in, Janusz Czelakowski on Logical Consequence. Outstanding Contributions to Logic, Springer, Cham, 2024 | Full text (PDF 423 KBs)
  • S. Marcelino, C. Caleiro, P. Filipe, Computational Properties of Partial Non-deterministic Matrices and Their Logics, Chapter in, Logical Foundations of Computer Science. LFCS 2022. (LNTCS,volume 13137), Artemov, S., Nerode, A., Springer, Cham, 2022 | Full text (PDF 332 KBs)
  • C. Caleiro, S. Marcelino, On axioms and rexpansions, Chapter in, Arnon Avron on Semantics and Proof Theory of Non-Classical Logics, Ofer Arieli and Anna Zamansky, Springer, Switzerland, 2021
  • S. Marcelino, C. Caleiro, Analytic Calculi for Monadic PNmatrices, Chapter in, Logic, Language, Information, and Computation, WoLLIC 2019, LNCS, vol 11541, Springer Berlin Heidelberg, Berlin, 2019
  • 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
37Papers in Journals
  • C. Caleiro, S. Marcelino, MODULAR MANY-VALUED SEMANTICS FOR COMBINED LOGICS, Journal of Symbolic Logic, Vol. 89, No. 2, pp. 583 - 636, June, 2024 | Full text (PDF 768 KBs) | BibTex
  • P. Filipe, S. Marcelino, C. Caleiro, Computational properties of finite PNmatrices, Journal of Logic and Computation, Vol. 32, No. 8, pp. 1694 - 1719, November, 2022 | Full text (PDF 456 KBs) | BibTex
  • H. Albuquerque, C. Caleiro, AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS, Bulletin of Symbolic Logic, Vol. 0, No. 0, pp. 1 - 50, October, 2022 | BibTex
  • C. Caleiro, S. Marcelino, Decidability Preservation and Complexity Bounds for Combined Logics, Mathematics, Vol. 10, No. 19, pp. 3481 - 3481, September, 2022 | Full text (PDF 559 KBs) | BibTex
  • G. Ramos, S. Pequito, C. Caleiro, On the index of convergence of a class of Boolean matrices with structural properties, International Journal of Control, Vol. 94, No. 6, pp. 1475 - 1483, August, 2021 | BibTex
  • G. Ramos, L. Boratto, C. Caleiro, On the negative impact of social influence in recommender systems: A study of bribery in collaborative hybrid algorithms, Information Processing and Management, Vol. 57, No. 2, pp. 102058 - 102058, July, 2020 | BibTex
  • C. Caleiro, F. Casal, A. Mordido, Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities, Theoretical Computer Science, Vol. 781, No. 1, pp. 39 - 62, August, 2019 | BibTex
  • S. Marcelino, C. Caleiro, Axiomatizing non-deterministic many-valued generalized consequence relations, Synthese, Vol. 198, No. S22, pp. 5373 - 5390, February, 2019 | Full text (PDF 395 KBs) | BibTex
  • 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. 23, No. 7, pp. 2213 - 2231, October, 2018 | Full text (PDF 695 KBs) | 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 Multiple-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, 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, 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, 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
  • 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
41Papers in Conferences
  • S. Marcelino, C. Caleiro, PNmatrices for paraconsistent and other non-classical logics, World Congress of Paraconsistency WCP, Torun, Poland, September, 2022 | Full text (PDF 144 KBs) | BibTex
  • S. Marcelino, C. Caleiro, Decidability of combined logics, and applications, Days in Logic 08, Faro, Portugal, July, 2022 | Full text (PDF 103 KBs) | BibTex
  • S. Marcelino, C. Caleiro, Advantages and challenges posed by PNmatrices, TOPOLOGY, ALGEBRA, AND CATEGORIES IN LOGIC TACL, Coimbra, Portugal, June, 2022 | Full text (PDF 163 KBs) | BibTex
  • S. Marcelino, C. Caleiro, PNmatrices at Work, International Workshop on Algebraic Development Techniques WADT'22, Aveiro, Portugal, June, 2022 | Full text (PDF 134 KBs) | BibTex
  • P. Filipe, C. Caleiro, S. Marcelino, Monadicity of Non-deterministic Logical Matrices is Undecidable, NON-CLASSICAL LOGICS. THEORY AND APPLICATIONS, Lodz, Poland, March, 2022 | BibTex
  • S. Marcelino, C. Caleiro, P. Filipe, Computational Properties of Partial Non-deterministic Matrices and Their Logics, Logical Foundations of Computer Science, Conference online, Vol. 13137, pp. 180 - 197, December, 2021 | BibTex
  • S. Marcelino, C. Caleiro, P. Filipe, Infectious semantics and analytic calculi for even more inclusion logics, IEEE International Symposium on Multiple-Valued Logic ISMVL, Miyazaki, Japan, Vol., pp. 224 - 229, November, 2020 | BibTex
  • G. Ramos, C. Caleiro, A novel similarity measure for group recommender systems with optimal time complexity, Bias and Social Aspects in Search and Recommendation BIAS, L'Aquila, Italy, April, 2020 | BibTex
  • C. Caleiro, G. Ramos, S. Pequito, The robust minimal controllability problem for switched linear continuous-time systems, American Control Conference, Milwaukee, United States, June, 2018 | BibTex
  • S. Marcelino, C. Caleiro, Semantics for combined Hilbert calculi, World Congress and School on Universal Logic - UNILOG, Vichy, France, June, 2018 | BibTex
  • S. Marcelino, C. Caleiro, Modular analysis of Hilbert calculi, World Congress and School on Universal Logic - UNILOG, Vichy, France, 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, November, 2017 | BibTex
  • S. Marcelino, C. Caleiro, J. Marcos, What the bleep do we know about classical connectives?, Isralog 2017, Haifa, Israel, October, 2017 | BibTex
  • S. Marcelino, C. Caleiro, Fibring partial non-deterministic matrices, Isralog 2017, Haifa, Israel, October, 2017 | BibTex
  • C. Caleiro, F. Casal, A. Mordido, Classical generalized probabilistic satisfiability, International Joint Conference on Artificial Intelligence - IJCAI, Melbourne, Australia, August, 2017 | BibTex
  • S. Marcelino, C. Caleiro, Disjoint fibring of non-deterministic matrices, Workshop on Logic Language Information and Computation Wollic, London, United Kingdom, 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, 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, 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

Closed Projects6

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
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
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
MoLC Modular Analysis of Logical Calculli FCT 01-11-2017 01-11-2020
QuanLog Logic in Quantum Computation and Information FCT/POCI 01-01-2005 01-12-2007
15Short Courses and Seminars
  • P. Adão, C. Caleiro, A Natural Deduction System for the Computational Complete Symbolic Adversary, United States, New Orleans, LA, 06-2013
  • C. Caleiro, Abstract Valuation Semantics, Brazil, Natal, 05-2011
  • C. Caleiro, Abstract Valuation Semantics, Brazil, Petropolis, 05-2011
  • C. Caleiro, Distributed temporal logic for the analysis of security protocol models, Switzerland, Zurich, 04-2011
  • C. Caleiro, Abstract Valuation Semantics, Portugal, Braga, 02-2011
  • C. Caleiro, J. Marcos, Combination of Logics - Mini Course, United Kingdom, St. Andrews, 09-2010
  • C. Caleiro, Combining Logics - Tutorial, Switzerland, Montreux, 03-2005
  • A. Sernadas, C. Sernadas, C. Caleiro, T. Mossakowski, Categorial Fibring of Logics with Terms and Binding Operators, Netherlands, FROCOS'98, Amsterdão, 10-1998
  • A. Sernadas, C. Sernadas, C. Caleiro, Fibring of Logics, Portugal, Lógica 98, Évora, 07-1998
  • A. Sernadas, C. Sernadas, C. Caleiro, Fibring of Logics with Terms and Binding Operators: Semantics, Portugal, Segundo Encontro ACL, Figueira da Foz, 06-1998
  • A. Sernadas, C. Caleiro, C. Sernadas, Parameterisation of Logics, Portugal, Segundo Encontro ACL, Figueira da Foz, 06-1998
  • A. Sernadas, C. Sernadas, C. Caleiro, Fibring of Logics with Terms and Binding Operators, Portugal, 13th WADT, Lisboa, 04-1998
  • A. Sernadas, C. Caleiro, C. Sernadas, Adjunções entre Sistemas Lógicos, Portugal, Encontro ESCOLA-ACL, Coimbra, 01-1998
  • A. Sernadas, C. Sernadas, C. Caleiro, Fibrilação de Lógicas com Termos, Portugal, Encontro ESCOLA-ACL, Coimbra, 01-1998
  • A. Sernadas, C. Sernadas, C. Caleiro, Synchronization with Mixed Rules: Completeness Preservation, Belgium, FIREworks Meeting, Namur, 05-1997
3Conference Committees
  • International Joint Conference on Artificial Intelligence - IJCAI, Scientific Committee, 2020
  • World Congress and School on Universal Logic - UNILOG, Scientific Committee, 2018
  • World Congress and School on Universal Logic - UNILOG, Conference Chairman, 2010
1Editorial Committees
  • Member of Editorial Board, Logica Universalis, 01-01-2007 - today
1Refereeing Conferences
  • International Joint Conference on Artificial Intelligence - IJCAI
    2020, 1 review(s);

Activities from this researcher fall under the following United Nations Strategic Development Goals (SDGs):

© 2025, IT - Instituto de Telecomunicações | All Rights Reserved