Creating and sharing knowledge for telecommunications

IT Member Profile

... João Filipe Quintas dos Santos Rasga

Researcher

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

Scientific Achievements

  • PhD, Instituto Superior Técnico, 28-07-2003
  • Instituto Superior Técnico, 01-01-2003,
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
5Books Chapters
  • 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
34Papers in Journals
  • 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., No., pp. -, 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., No., pp. 1 - 36, 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

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
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
2Conference Committees
  • World Congress and School on Universal Logic - UNILOG, Organizing Committee, 2010
  • Days in Logic 08, Conference Chairman, 2008
© 2025, IT - Instituto de Telecomunicações | All Rights Reserved