João Filipe Quintas dos Santos Rasga

João Rasga

Academic position:	Associate Professor
Joining date:	31-12-2006
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

By Authors
By Institutions

Scientific Achievements

Degrees

PhD, Instituto Superior Técnico, 28-07-2003

Affiliations

Instituto Superior Técnico, 01-01-2003,

Academic Activities

3Lecture courses

Elementos de programação, Instituto Superior Técnico, Licenciatura em Engenharia e Gestão Industrial

Teoria da Computação, Instituto Superior Técnico, Engenharia Informática e de Computadores

Matemática Discreta, Instituto Superior Técnico, Engenharia Informática e de Computadores

2Supervision of PhD theses

As Supervisor

Analog Characterization of Complexity Classes, PhD Student, Riccardo Gozzi, Defended 02-2022
Combining Satisfiability Procedures and Probabilistic Satisfiability, PhD Student, Filipe Manuel Rodrigues Casal, Defended 09-2018

Publications

3Books

J. Rasga, C. Sernadas, Decidability of Logical Theories and Their Combination, Springer, Cham, Switzerland, 2020,
| BibTex
D. Gomes, A. Sernadas, C. Sernadas, J. Rasga, P. Mateus, A Mathematical Primer on Linear Optimization, College Publications, London, 2019,
| BibTex
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

6Books Chapters

J. Ramos, J. Rasga, C. Sernadas, Decidability of Consequence in Logics via Reduction, Chapter in, Walter Carnielli on Reasoning, Paraconsistency, and Probability, Henrique Antunes, Alfredo Roque Freire, Abilio Rodrigues, Springer Link, London, 2025 | Full text (PDF 449 KBs)
J. Rasga, A. Sernadas, C. Sernadas, A roadmap to decidability., Chapter in, The Road to Universal Logic, A. Koslow and A. Buchsbaum, Birkhäuser, Basel, 2015
A. Sernadas, C. Sernadas, J. Rasga, P. Mateus, Non-deterministic combination of connectives, Chapter in, Logic without Frontiers: Festschrift for Walter Alexandre Carnielli on the Occasion of his 60th Birthday, Jean-Yves Béziau and Marcelo Coniglio, College Publications, 2011
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
J. Rasga, Cut elimination in propositional based logics, Chapter in, Proceedings of Structures and Deduction - the Quest for the Essence of Proofs (satellite workshop of ICALP'05), pages 205-214, P. Bruscoli, F. Lamarche and C. Stewart, Technische UniversitÃ¤t Dresden, 2005
J. Rasga, A. Sernadas, C. Sernadas, L. Viganò, Labelled deduction over algebras of truth values, Chapter in, Frontiers of Combining Systems 4, volume 2309 of Lecture Notes in Artificial Intelligence, pages 222-238, A. Armando, Springer, 2002

35Papers in Journals

J. Rasga, C. Sernadas, From Translations to Non-Collapsing Logic Combinations, Bulletin of the Section of Logic, Vol. 54, No. 3, pp. 407 - 446, November, 2025 | BibTex
J. Ramos, J. Rasga, C. Sernadas, Labelled proof systems for existential reasoning, Logic Journal of the IGPL, Vol. 33, No. 1, pp. 173 - 201, December, 2024 | BibTex
J. Ramos, J. Rasga, C. Sernadas, Probabilistic Semantics and Calculi for Multi-valued and Paraconsistent Logics, Studia Logica, Vol. 113, No. 5, pp. 1401 - 1435, July, 2024 | BibTex
J. Rasga, C. Sernadas, On Combining Intuitionistic and S4 Modal Logic, Bulletin of the Section of Logic, Vol. 53, No. 3, pp. 321 - 344, June, 2024 | BibTex
M.P.G. Gouveia, J. Rasga, C. Sernadas, Meet-Combination of Consequence Systems, Logic and Logical Philosophy, Vol. 34, No. 1, pp. 73 - 108, May, 2024 | BibTex
J. Ramos, J. Rasga, C. Sernadas, Conservative Translations Revisited, Journal of Philosophical Logic, Vol. 52, No. 3, pp. 889 - 913, June, 2023 | BibTex
J. Rasga, C. Sernadas, Adding abductive reasoning to a propositional logic, Journal of Logic and Computation, Vol. 32, No. 4, pp. 697 - 728, June, 2022 | BibTex
J. Ramos, J. Rasga, C. Sernadas, Schema Complexity in Propositional-Based Logics, Mathematics, Vol. 9, No. 21, pp. 2671 - 2671, October, 2021 | BibTex
J. Ramos, J. Rasga, C. Sernadas, L. Viganò, Event-Based Time-Stamped Claim Logic, Journal of Logical and Algebraic Methods in Programming, Vol. 121, No. 100684, pp. 1 - 28, June, 2021 | BibTex
J. Rasga, C. Sernadas, W. Carnielli, Reduction techniques for proving decidability in logics and their meet-combination, Bulletin of Symbolic Logic, Vol. 27, No. 1, pp. 39 - 66, March, 2021 | BibTex
J. Ramos, J. Rasga, C. Sernadas, Essential Structure of Proofs as a Measure of Complexity, Logica Universalis, Vol. 14, No. 2, pp. 209 - 242, June, 2020 | BibTex
A. Sernadas, J. Rasga, C. Sernadas, L. Alcácer, A. B. Henriques, Probabilistic logic of quantum observations, Logic Journal of the IGPL, Vol. -, No. -, pp. - - -, October, 2018,
| Abstract | BibTex
A. Souto, F. Casal, J. Rasga, Kolmogorov One-Way Functions Revisited, Cryptography, Vol. 2, No. 2, pp. 9 - 9, April, 2018,
| Abstract | Full text (PDF 289 KBs) | BibTex
J. Rasga, C. Sernadas, P. Mateus, A. Sernadas, Decision and optimization problems in the unreliable-circuit logic, Logic Journal of the IGPL, Vol. jzx00, No. 1, pp. 1 - 25, April, 2017 | BibTex
J. Rasga, C. Sernadas, A. Sernadas, Craig interpolation in the presence of unreliable connectives, Logica Universalis, Vol. 8, No. 3-4, pp. 423 - 446, December, 2014 | BibTex
J. Rasga, A. Sernadas, C. Sernadas, Fibring as biporting subsumes asymmetric combinations, Studia Logica, Vol. 102, No. 5, pp. 1041 - 1071, November, 2014 | BibTex
A. Sernadas, J. Rasga, C. Sernadas, P. Mateus, Approximate reasoning about logic circuits with single-fan-out unreliable gates, Journal of Logic and Computation, Vol. 24, No. 5, pp. 1023 - 1069, October, 2014 | BibTex
J. Rasga, W. Lotfallah Lotfallah, C. Sernadas, Completeness and interpolation of almost-everywhere quantification over finitely additive measures, Mathematical Logic Quarterly, Vol. 59, No. 4-5, pp. 286 - 302, December, 2013 | BibTex
C. Sernadas, J. Rasga, A. Sernadas, Preservation of Craig interpolation by the product of matrix logics, Journal of Applied Logic, Vol. 11, No. 3, pp. 328 - 349, May, 2013 | BibTex
J. Rasga, A. Sernadas, C. Sernadas, Importing Logics: Soundness and Completeness Preservation, Studia Logica, Vol. 101, No. 1, pp. 117 - 155, February, 2013 | BibTex
A. Sernadas, C. Sernadas, J. Rasga, On meet-combination of logics, Journal of Logic and Computation, Vol. 22, No. 6, pp. 1453 - 1470, December, 2012 | BibTex
J. Rasga, A. Sernadas, C. Sernadas, Importing logics, Studia Logica, Vol. 100, No. 3, pp. 545 - 581, June, 2012 | BibTex
A. Sernadas, C. Sernadas, J. Rasga, On combined connectives, Logica Universalis, Vol. 5, No. 2, pp. 205 - 224, March, 2011 | BibTex
J. Rasga, K. Roggia, C. Sernadas, Fusion of sequent modal logic systems labelled with truth values, Logic Journal of the IGPL, Vol. 18, No. 6, pp. 893 - 920, December, 2010,
| Abstract | BibTex
A. Sernadas, C. Sernadas, J. Rasga, M. Coniglio, A graph-theoretic account of logics, Journal of Logic and Computation, Vol. 19, No. 19, pp. 1281 - 1320, January, 2009 | BibTex
A. Sernadas, C. Sernadas, J. Rasga, M. Coniglio, On graph-theoretic fibring of logics, Journal of Logic and Computation, Vol. 19, No. 19, pp. 1321 - 1357, January, 2009 | BibTex
W. Carnielli, J. Rasga, C. Sernadas, Interpolation via translations., Mathematical Logic Quarterly, Vol. 55, No. 5, pp. 515 - 534, January, 2009 | BibTex
J. Bouda, P. Mateus, N. Paunkovic, J. Rasga, On the power of quantum tamper-proof hardware, International Journal of Quantum Information, Vol. 6, No. 2, pp. 219 - 236, February, 2008 | BibTex
W. Carnielli, J. Rasga, C. Sernadas, Preservation of interpolation features by fibring, Journal of Logic and Computation, Vol. 18, No. 1, pp. 123 - 151, January, 2008 | BibTex
L. Cruz-Filipe, J. Rasga, A. Sernadas, C. Sernadas, A Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification, Journal of Logic and Computation, Vol. 18, No. 6, pp. 885 - 911, January, 2008 | BibTex
J. Rasga, Sufficient conditions for cut elimination with complexity analysis, Annals of Pure and Applied Logic, Vol. 149, No. 1-3, pp. 81 - 99, November, 2007 | BibTex
P. Mateus, J. Rasga, C. Sernadas, Modal sequent calculi labelle with truth values: Cut elimination, Logic Journal of the IGPL, Vol. 13, No. 2, pp. 173 - 199, January, 2005 | BibTex
C. Sernadas, L. Viganò, J. Rasga, A. Sernadas, Truth-values as labels: A general recipe for labelled deduction, Journal of Appl. Non-Classical Logics, Vol. 13, No. 3-4, pp. 277 - 315, January, 2003 | BibTex
J. Rasga, A. Sernadas, C. Sernadas, L. Viganò, Fibring labelled deduction systems, Journal of Logic and Computation, Vol. 12, No. 3, pp. 443 - 473, June, 2002 | BibTex
C. Sernadas, J. Rasga, W. Carnielli, Modulated fibring and the collapsing problem, Journal of Symbolic Logic, Vol. 67, No. 4, pp. 1541 - 1569, January, 2002 | BibTex

3Papers in Conferences

F. Casal, J. Rasga, Revisiting the Equivalence of Shininess and Politeness, International Conf. on Logic for Programming, Artificial Intelligence and Reasoning - LPAR, Stellenbosch, South Africa, Vol. 8312, pp. 1 - 15, December, 2013 | BibTex
P. Mateus, F. Moura, J. Rasga, Transferring proofs of zero-knowledge systems with quantum, Workshop on Quantum Security - QSEC, Guadeloupe, France, Vol. -, pp. 0009 - 0014, January, 2007 | BibTex
J. Rasga, Cut elimination in propositional based logics, Structures and Deduction - the Quest for the Essence of Proofs, Lisboa, Portugal, Vol. -, pp. 205 - 214, December, 2005 | BibTex

Projects

Currently running projects1

Acronym	Name	Funding Agency	Start date	Ending date
NEXUS	Nexus of Multidisciplinary Approaches in Explainable and Causal Machine Learning	FCT	21-11-2025	20-11-2027

Closed Projects3

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
QSec	Quantum Security	FCT/PTDC	01-11-2007	01-10-2009
QuanLog	Logic in Quantum Computation and Information	FCT/POCI	01-01-2005	01-12-2007

Other Scientific Achievements

17Short Courses and Seminars

F. Casal, J. Rasga, SMT and Theory Combination Techniques, Portugal, Days in Logic '14, Braga, 01-2014
J. Rasga, On combined connectives, Portugal, Evora, 02-2012
J. Rasga, L. Cruz-Filipe, A. Sernadas, C. Sernadas, Discrete-Measure Almost-Everywhere Quantification, Portugal, Coimbra, 06-2008
J. Rasga, Generalized negative translations and interpolation., Portugal, Lisboa, Days in Logic 2008, 01-2008
J. Rasga, Preservation of interpolation and generalized negative translations., Portugal, Braga, U Minho, Seminário de Álgebra e Lógica, 01-2008
J. Rasga, Transferring proofs of zero-knowledge systems with quantum tamper-proof devices., Portugal, Lisboa, LQCIL'07, 07-2007
J. Rasga, A complete axiomatization of discrete-measure almost-everywhere quantification., Portugal, Lisboa, IST/FCUL, Seminário de Lógica Matemática, 11-2006
J. Rasga, Some complexity results on cut elimination in first order based logics., Portugal, Coimbra, Days in Logic '06, 01-2006
J. Rasga, Complexity analysis of cut elimination in first order based logics., Portugal, Lisboa, PCC'05, 07-2005
J. Rasga, Cut elimination in propositional based logics., Portugal, Lisboa, SD'05, 07-2005
J. Rasga, The complexity of cut elimination in a modal sequent calculus labelled with truth values., Brazil, São Paulo, USP, IME, Seminário de Ciência da Compu, 02-2005
J. Rasga, The complexity of cut elimination in a modal sequent calculus labelled with truth values., Brazil, Campinas, UECampinas, CLE, Colloquia Logicae, 02-2005
J. Rasga, Cut elimination in a general modal calculus., Portugal, Coimbra, Portuguese Category Seminar 04, 06-2004
J. Rasga, Labelled first order based logic systems., Germany, Freiburg, Institut für Informatik, Software Engin, 07-2002
J. Rasga, Fibrilação de Sistemas Dedutivos Etiquetados., Portugal, Lisboa, Encontro LOGCOMP, 09-2000
J. Rasga, Fibring of labelled deductive systems, Portugal, Lisboa, Encontro LOGCOMP, 12-1999
J. Rasga, Model theoretic fibring of logics with terms and binding operators, Austria, Linz, ASPIRE Meeting, 09-1999

Other Contributions

2Conference Committees

World Congress and School on Universal Logic - UNILOG, Organizing Committee, 2010
Days in Logic 08, Conference Chairman, 2008

Related UN SDG

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

IT Member Profile

João Rasga

Scientific Achievements

As Supervisor

Currently running projects1

Closed Projects3