Carlos Manuel Costa Lourenco Caleiro

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
Fax: +351 21 841 84 72

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

SCHOLAR

Scientific Achievements

Degrees

PhD, Instituto Superior Técnico, 15-12-2000

Academic Activities

6Supervision of PhD theses

As Supervisor

Computability of logical problems associated to partial non-deterministic matrices, PhD Student, Pedro Gonçalo Godinho Filipe, Defended 11-2022
Improving information security in ranking, recommender and control systems, PhD Student, Guilherme Henrique Caçador Ramos, Defended 11-2018
A probabilistic logic over equations and domain restrictions, PhD Student, Andreia Filipa Torcato Mordido, Defended 03-2017
Equivalence properties and probabilistic reasoning in symbolic security protocol analysis, PhD Student, Bruno José Conchinha Montalto, Defended 06-2014
Models and Proof Methods for Information Protection, PhD Student, Maxime Emile Gamboni, Defended 12-2010
Algebraizability of Quantum Logics, PhD Student, Ricardo João Rodrigues Gonçalves, Defended 07-2008

Publications

4Books

C. Caleiro, F. Dionísio, M.P.G. Gouveia, P. Mateus, J. Rasga, Logic and Computation -- Essays in Honour of Amilcar Sernadas, College Publications, London, 2017,
| BibTex
J. Carmo, A. Sernadas, C. Sernadas, F. Dionísio, C. Caleiro, Introdução à programação em Mathematica -- Terceira Edição (Introduction to Programming in Mathematica -- Third Edition), IST Press, Lisboa, 2014,
| BibTex
J. Carmo, A. Sernadas, C. Sernadas, F. Dionísio, C. Caleiro, Introdução à programação em Mathematica -- Segunda Edição (Introduction to Programming in Mathematica -- Second Edition), IST Press, Lisboa, 2004,
| BibTex
J. Carmo, A. Sernadas, C. Sernadas, F. Dionísio, C. Caleiro, Introdução à Programação em Mathematica (Introduction to Programming in Mathematica), IST Press, Lisboa, 1999,
| BibTex

31Books Chapters

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. LNCS 13137, Springer International Publishing, Cham, 2022
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 Oﬀ-line Guessing, Chapter in, ESORICS 2013 - LNCS 8134, ESORICS, Springer, 2013
MV Volpe, J. Marcos, C. Caleiro, Classic-like cut-based tableau systems for ﬁnite-valued logics, Chapter in, WoLLIC 2012, Selected Papers, L. Ong, R. de Queiroz, Springer, 2012
D. Basin, C. Caleiro, Eﬃcient 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

38Papers in Journals

C. Caleiro, S. Marcelino, MODULAR MANY-VALUED SEMANTICS FOR COMBINED LOGICS, Journal of Symbolic Logic, Vol. na, No. na, pp. 1 - 54, April, 2023 | 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 | Full text (PDF 681 KBs) | 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, 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 ﬁnite-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 eﬀective 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
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

40Papers 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 | Full text (PDF 231 KBs) | 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, cryptoﬁbred 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 eﬃcient 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

Projects

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

Other Scientific Achievements

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

Other Contributions

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);

IT Member Profile

Carlos Caleiro

Scientific Achievements

As Supervisor

Closed Projects6