Sérgio Roseiro Teles Marcelino

Sérgio Marcelino

Academic position:	Researcher
Joining date:	01-01-2012
Roles in IT:	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-0002-6941-7555

11-01-2021

IT researcher wins first edition of the Amílcar Sernadas Logic Prize

Sérgio Marcelino, researcher from IT in Lisbon, won the first edition of the Amílcar Sernadas Logic Prize.

Scientific Achievements

Degrees

PhD, King's College London - University of London, 01-01-2012
MSc, Instituto Superior Técnico, 01-01-2007

Academic Activities

1Supervision of PhD theses

As Co-supervisor

Computability of logical problems associated to partial non-deterministic matrices, PhD Student, Pedro Gonçalo Godinho Filipe, Expected conclusion 11-2022

2Supervision of MSc theses

As Co-supervisor

Logics of lattices with negation, MSc Student, Joel Filipe, Concluded 12-2022
Generalized notions of logic: B-entailment, MSc Student, Vitor Rodrigues Greati, Concluded 12-2021

Publications

9Books 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
V. Greati, S. Marcelino, J. Marcos, Proof Search on Bilateralist Judgments over Non-deterministic Semantics, Chapter in, Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2021, LNCS, vol 12842, Das A., Negri S., Springer, Cham, Cham, 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, 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
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
A. Kurucz, S. Marcelino, Finite frames for K4.3 × S5 are decidable, Chapter in, Advances in Modal Logic, Volume 9, College Publications, London, 2012

14Papers in Journals

P. Filipe, S. Marcelino, C. Caleiro, Computational properties of finite PNmatrices, Journal of Logic and Computation, Vol. na, No. na, pp. na - na, November, 2022 | BibTex
S. Marcelino, U. Rivieccio, Finite axiomatizability of logics of distributive lattices with negation, Logic Journal of the IGPL, Vol. na, No. na, pp. na - na, May, 2022,
| Abstract | Full text (PDF 702 KBs) | BibTex
S. Marcelino, An Unexpected Boolean Connective, Logica Universalis, Vol. forthcoming, No. 0, pp. 1 - 9, June, 2021 | Full text (PDF 559 KBs) | BibTex
S. Marcelino, C. Caleiro, Axiomatizing non-deterministic many-valued generalized consequence relations, Synthese, Vol. 198, No. 00, pp. 5373 - 5390, February, 2021 | Full text (PDF 395 KBs) | BibTex
C. Hampson, S. Kikot, A. Kurucz, S. Marcelino, Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations, Annals of Pure and Applied Logic, Vol. 171, No. 5, pp. 102786 - 102786, May, 2020 | 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, 2019 | Full text (PDF 695 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, U. Rivieccio, Locally tabular ̸= locally finite, Logica Universalis, Vol. 11, No. 3, pp. 383 - 400, September, 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
S. Marcelino, A. Kurucz, Non-finitely axiomatisable two-dimensional modal logics, Journal of Symbolic Logic, Vol. 77, No. 3, pp. 970 - 986, March, 2014,
| Abstract | BibTex
D. Gabbay, S. Marcelino, Global view on reactivity: switch graphs and their logics, Annals of Mathematics and Artificial Intelligence, Vol. 66, No. 1, pp. 131 - 162, June, 2012 | BibTex
S. Marcelino, D. Gabbay, Modal Logics of Reactive Frames, Studia Logica, Vol. 93, No. 2-3, pp. 405 - 446, November, 2009 | BibTex
S. Marcelino, P. Resende, An algebraic generalization of Kripke structures, Mathematical Proceedings of the Cambridge Philosophical Society, Vol. 145, No. 03, pp. 549 - 549, July, 2008 | BibTex

26Papers 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
C. Hampson, S. Kikot, A. Kurucz, S. Marcelino, Non-finitely Axiomatisable Modal Products with Infinite Canonical Axiomatisations, AiML.net Advances in Modal Logic - AiML, Bern, Switzerland, August, 2018,
| Abstract | 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
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
S. Marcelino, C. Caleiro, Disjoint fibring of non-deterministic matrices, Workshop on Logic Language Information and Computation Wollic, London, United Kingdom, July, 2017 | BibTex
S. Marcelino, Characterizing finite-valuedness, Trends in Logic XVI, Campinas, Brazil, September, 2016 | 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, S. Marcelino, P. Baltazar, Conservativeness and decidability of fibred logics, 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
S. Marcelino, A. Kurucz, Finite frames for K4.3 × S5 are decidable, AiML.net Advances in Modal Logic - AiML, Copenhagen, Denmark, Vol. 9, pp. 411 - 436, August, 2012,
| Abstract | BibTex

Projects

Closed Projects2

Acronym	Name	Funding Agency	Start date	Ending date
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

Other Scientific Achievements

1Awards

S. Marcelino, Amílcar Sernadas Logic Prize, Amílcar Sernadas (1952-2017) was Full Professor at the Mathematics Department Amílcar Sernadasof Instituto Superior Técnico and an internationally leading researcher in logic and the foundations of computing. This prize aims at encouraging logic research and distinguishes an unpublished paper in this area. It is included in the initiative One logic prize in every country that emerged from the series of conferences UNILOG (World Congress and School in Universal Logic). It celebrates Amílcar Sernadas highly significant and original scientific contributions, as well as his outstanding academic career., 01-01-2021

Other Contributions

1Conference Committees

International Workshop on Logical and Semantic Frameworks, with Applications LSFA, Scientific Committee, 2022

1Editorial Committees

Associate Editor, Studia Logica, 01-01-2021 - 31-12-2024

1Refereeing Journals

Annals of Mathematics and Artificial Intelligence
2010, 1 review(s);

IT Member Profile

Sérgio Marcelino

11-01-2021

IT researcher wins first edition of the Amílcar Sernadas Logic Prize

Scientific Achievements

As Co-supervisor

As Co-supervisor

Closed Projects2