Personal Data

Full name

João Filipe Quintas dos Santos Rasga

Publishing name

João Rasga

Birthday

1973-07-12T00:00:00

Academic Degrees

DOUTORAMENTO(0)

Degree date

2003

Final grade

Aprovado

Degree granting institution

Universidade Técnica de Lisboa

School / College / Campus

Instituto Superior Técnico

Thesis title

Fibring Labelled First-order Based Logics

Supervisor

Co-supervisor

Scientific area

Matemática

LICENCIATURA(0)

Degree date

1996

Final grade

17

Degree granting institution

Universidade Técnica de Lisboa

School / College / Campus

Instituto Superior Técnico

Thesis title

Supervisor

Co-supervisor

Scientific area

Profissional activity

Period Position Institution
25-09-2003 - Professor Auxiliar do Departamento de Matemática Instituto Superior Técnico
15-02-2001 - 25-09-2003 Assistente Estagiário do Departamento de Matemática Instituto Superior Técnico
01-09-1998 - 15-07-1999 Monitor do Departamento de Matemática Instituto Superior Técnico

Area of scientific activity

Area of scientific activity

Mathematics

Specialization domain

Logic and Computation

Current main scientific area

Combination of logics. Cut Elimination. Craig Interpolation. Quantifier Elimination. Probabilistic Logic. Epistemic Logic.

Other scientific activities

-

Experience as scientific advisor


Filipe Manuel Rodrigues Casal, <i>On Nelson-Oppen techniques</i>. MSc Thesis in Mathematics, July 2013.

Teresa Cristina Alves de Matos, <i>Sequent calculi labelled with worlds for modal logics</i>. MSc Thesis in Mathematics, IST, Technical University of Lisbon, October 2012.

Karina Roggia, <i>Fusion of logics</i>. PhD Thesis in Mathematics, IST, Technical University of Lisbon. April, 2012. Joint supervision with Cristina Sernadas.

Ana Pereira, <i>Kolmogorov generic bases</i>. MSc Thesis in Mathematics, IST, Technical University of Lisbon. December, 2011.

João Bernardo Silvestre Monteiro, <i>Deductive systems</i>. Integration into Research Grant. Instituto de Telecomunicações. November 1, 2009 to November 1, 2010.

Pedro Soares, <i>Algebraic logic</i>. Integration into Research Grant. Instituto de Telecomunicações. December 1, 2008 to December 1, 2009.

Ismael Everardo Bárcenas Patiño, <i>A Proof Theory of Craig Interpolation</i>, 2007. Master Thesis in Computational Logic, Technische Universitat Wien-Universidade Nova de Lisboa

Participations in R&D projects

QSec: Quantum Security<br>IT project, funded by FCT and EU FEDER PTDC/EIA/67661/2006 (October 1, 2007 - September 30, 2010)<br><br>QuantLog: <br>Logic in Quantum Computation and Information<br>FCT Project FEDER POCTI/MAT/55796/2004 (January 1, 2005 - December 31, 2007)<br><br>FibLog: Fibring Logics<br>FCT Project FEDER POCTI/2001/MAT/37239 (January 1, 2002 -December 31, 2004)

Awards

Year Award Awarding entity
2008 Honorable mention on the Young Researchers Prize TULisbon / CGD - Applied Mathematics Technical University of Lisbon

Publications

Artigos em revistas de circulação internacional com arbitragem científica

  • C. Sernadas, J. Rasga, and W. A. Carnielli. Modulated fibring and the collapsing problem. <i>Journal of Symbolic Logic</i>, 67(4):1541--1569, 2002.<br>

Publicações em actas de encontros científicos

  • J. Rasga. Cut elimination in propositional based logics. In P. Bruscoli, F. Lamarche, and C. Stewart, editors, <i>Proceedings of Structures and Deduction - the Quest for the Essence of Proofs (satellite workshop of ICALP 2005)</i>, pages 205--214. Technische Universität Dresden, 2005.

Artigos em revistas de circulação internacional com arbitragem científica

  • L. Cruz-Filipe, J. Rasga, A. Sernadas, and C. Sernadas. A complete axiomatization of discrete-measure almost-everywhere quantification. <i>Journal of Logic and Computation</i>, 18(6):885--911, 2008.

Artigos em revistas de circulação internacional com arbitragem científica

  • J. Bouda, P. Mateus, N. Paunkovic, and J. Rasga. On the power of quantum tamper-proof hardware. <i>International Journal of Quantum Information</i>, 6(2):219--236, 2008.

Outras publicações

  • W. Carnielli, J. Rasga, and C. Sernadas. Appendix on Interpolation via translations: proofs as expected. Technical report, SQIG-IT, DM, IST, 1049-001 Lisboa, Portugal, 2008. Appendix to the paper "Interpolation via translations" with the full details of the proofs that are just sketched in that paper in order to simplify the presentation since they follow in an expected way.

Artigos em revistas de circulação internacional com arbitragem científica

  • J. Rasga, K. Roggia and C. Sernadas. Fusion of sequent modal logic systems labelled with truth values. <i>Logic Journal of the IGPL</i>, 18(6):893--920, 2010.

Capítulos de livros

  • A. Sernadas, C. Sernadas, J. Rasga, and P. Mateus. Non-deterministic combination of connectives. In Jean-Yves Béziau and Marcelo Coniglio, editors, <i>Logic without Frontiers: Festschrift for Walter Alexandre Carnielli on the Occasion of his 60th Birthday</i>, volume 17 of <i>Tribute Series</i>, pages 321--338. College Publications, London, 2011.

Artigos em revistas de circulação internacional com arbitragem científica

  • A. Sernadas, C. Sernadas, and J. Rasga. On combined connectives. <i>Logica Universalis</i>, 5(2):205--224, 2011.

Artigos em revistas de circulação internacional com arbitragem científica

  • A. Sernadas, C. Sernadas, and J. Rasga. On meet-combination of logics. <i>Journal of Logic and Computation</i>, 22(6):1453--1470, 2012.

Artigos em revistas de circulação internacional com arbitragem científica

  • J. Rasga, A. Sernadas, and C. Sernadas. Importing logics. <i>Studia Logica</i>, 100(3):545--581, 2012.

Artigos em revistas de circulação internacional com arbitragem científica

  • J. Rasga, A. Sernadas, and C. Sernadas. Importing logics: Soundness and completeness preservation. <i>Studia Logica</i>, 101(1):117--155, 2013.

Artigos em revistas de circulação internacional com arbitragem científica

  • J. Rasga, W. Lotfallah, and C. Sernadas. Completeness and interpolation of almost-everywhere quantification over finitely additive measures. <i>Mathematical Logic Quarterly</i>, 59(4--5):286--302, 2013.

Capítulos de livros

  • A. Sernadas, C. Sernadas, J. Rasga, and P. Mateus. Non-deterministic combination of connectives. In Jean-Yves Béziau and Marcelo Coniglio, editors, <i>Logic without Frontiers: Festschrift for Walter Alexandre Carnielli on the Occasion of his 60th Birthday</i>, volume 17 of <i>Tribute Series</i>, pages 321--338. College Publications, London, 2011.

Capítulos de livros

  • F. Casal and J. Rasga. Revisiting the equivalence of shininess and politeness. In A. Middeldorp K. McMillan and A. Voronkov, editors, International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-19), volume 8312 of Lecture Notes in Computer Science, pages 198--212. Springer-Verlag, 2013.

Capítulos de livros

  • J. Rasga, C. Sernadas, and A. Sernadas. A roadmap to decidability. In A. Koslow and A. Buchsbaum, editors, The Road to Universal Logic, Studies in Universal Logic, pages 423--445. Birkhäuser Basel, Springer, 2015.

Artigos em revistas de circulação internacional com arbitragem científica

  • A. Sernadas, J. Rasga, C. Sernadas, and P. Mateus. Approximate reasoning about logic circuits with single-fan-out unreliable gates. <i>Journal of Logic and Computation</i>, 24(5):1023--1069, 2014.

Artigos em revistas de circulação internacional com arbitragem científica

  • J. Rasga, C. Sernadas, and A. Sernadas. Craig interpolation in the presence of unreliable connectives. <i>Logica Universalis</i>, 8(3-4):423--446, 2014.

Artigos em revistas de circulação internacional com arbitragem científica

  • J. Rasga, A. Sernadas, and C. Sernadas. Fibring as biporting subsumes asymmetric combinations. <i>Studia Logica</i>, 102(5):1041--1071, 2014.

Artigos em revistas de circulação internacional com arbitragem científica

  • A. Sernadas, J. Rasga, C. Sernadas, and P. Mateus. Reasoning about logic circuits with independent input errors. <i>South American Journal of Logic</i>, 1(1):135--162, 2015.

Artigos em revistas de circulação internacional com arbitragem científica

  • J. Rasga, C. Sernadas, and A. Sernadas. Preservation of admissible rules when combining logics. Review of Symbolic Logic, 9(4):641--663, 2016.

Artigos em revistas de circulação internacional com arbitragem científica

  • J. Rasga, C. Sernadas, P. Mateus, and A. Sernadas. Decision and optimization problems in the Unreliable-Circuit Logic. Logic Journal of the IGPL, 25(3):284--308, 2017.

Artigos em revistas de circulação internacional com arbitragem científica

  • C. Sernadas, J. Rasga, and A. Sernadas. Preservation of Craig interpolation by the product of matrix logics. <i>Journal of Applied Logic</i>, 11(3):328--349, 2013.

Artigos em revistas de circulação internacional com arbitragem científica

  • A. Sernadas, C. Sernadas, J. Rasga, and M. Coniglio. On graph-theoretic fibring of logics. <i>Journal of Logic and Computation</i>, 19(6):1321--1357, 2009.

Artigos em revistas de circulação internacional com arbitragem científica

  • A. Sernadas, C. Sernadas, J. Rasga, and M. Coniglio. A graph-theoretic account of logics. <i>Journal of Logic and Computation</i>, 19(6):1281--1320, 2009.

Artigos em revistas de circulação internacional com arbitragem científica

  • W. A. Carnielli, J. Rasga, and C. Sernadas. Preservation of interpolation features by fibring. <i>Journal of Logic and Computation</i>, 18(1):123--151, 2008.

Artigos em revistas de circulação internacional com arbitragem científica

  • J. Rasga. Sufficient conditions for cut elimination with complexity analysis. <i>Annals of Pure and Applied Logic</i>, 149(1-3):81--99, 2007.

Publicações em actas de encontros científicos

  • P. Mateus, F. Moura, and J. Rasga. Transferring proofs of zero-knowledge systems with quantum correlations. In P. Dini et al, editor, <i>Proceedings of the First Workshop on Quantum Security: QSec´07</i>, page 0009-0016. IEEE Press, 2007. Joint e-proceedings with Quantum, Nano, and Micro Technologies: ICQNM '07.

Outras publicações

  • J. Rasga. Complexity analysis of cut elimination in first order based logics. Preprint, CLC, Department of Mathematics, Instituto Superior Técnico, 1049-001 Lisboa, Portugal, 2005. Extended abstract. Presented at PCC -- Proof, Computation, Complexity, July 16-17, Lisboa, Affiliated Workshop of ICALP 2005.

Teses

  • J. Rasga. <i>Fibring Labelled First-order Based Logics</i>. PhD thesis, IST, Universidade Técnica de Lisboa, 2003. Supervised by C. Sernadas.<br>

Artigos em revistas de circulação internacional com arbitragem científica

  • C. Sernadas, L. Viganò, J. Rasga, and A. Sernadas. Truth-values as labels: A general recipe for labelled deduction. <i>Journal of Applied Non-Classical Logics</i>, 13(3-4):277--315, 2003.<br>

Artigos em revistas de circulação internacional com arbitragem científica

  • J. Rasga, A. Sernadas, C. Sernadas, and L. Viganò. Fibring labelled deduction systems. <i>Journal of Logic and Computation</i>, 12(3):443--473, 2002.<br>

Capítulos de livros

  • C. Caleiro, W. A. Carnielli, J. Rasga, and C. Sernadas. Fibring of logics as a universal construction. In D. Gabbay and F. Guenthner, editors, <i>Handbook of Philosophical Logic, 2nd Edition</i>, volume 13, pages 123--187. Springer, 2005.

Artigos em revistas de circulação internacional com arbitragem científica

  • W. Carnielli, J. Rasga, and C. Sernadas. Interpolation via translations. <i>Mathematical Logic Quarterly</i>, 55(5):515--534, 2009.

Capítulos de livros

  • J. Rasga, A. Sernadas, C. Sernadas, and L. Viganò. Labelled deduction over algebras of truth values. In A. Armando, editor, <i>Frontiers of Combining Systems 4</i>, volume 2309 of <i>Lecture Notes in Artificial Intelligence</i>, pages 222--238. Springer-Verlag, 2002.<br>

Artigos em revistas de circulação internacional com arbitragem científica

  • P. Mateus, J. Rasga, and C. Sernadas. Modal sequent calculi labelled with truth values: Cut elimination. <i>Logic Journal of the IGPL</i>, 13(2):173--199, 2005.

Communications

Comunicações orais por convite

<i>Logic and Computation Seminar</i>, Instituto Superior Técnico, February 25, 2000.
Título: Fibring labelled deductive systems.

<i>Encontro LOGCOMP</i>, Lisboa, Portugal, September 29, 2000.
Título: Fibrilação de Sistemas Dedutivos Etiquetados.

<i>Logic and Computation Seminar</i>, Instituto Superior Técnico, Mars 23, 2001.
Título: Modulated fibring: Completeness preservation.

<i>Logic and Computation Seminar</i>, Instituto Superior Técnico, February 15, 2002.
Título: Quantified modal logics: Completeness of labelled deduction systems.

<i>Logic and Computation Seminar</i>, Instituto Superior Técnico, June 28, 2002.
Título: Labelled deduction first-order based logics revisited.

<i>Software Engineering Seminar</i>, Institut für Informatik, University of Freiburg, Germany, July 15, 2002.
Título: Labelled first order based logic systems.

<i>Logic and Computation Seminar</i>, Instituto Superior Técnico, Mars 14, 2003.
Título: Preservation of completeness by fibring labelled first-order based logics.

<i>Logic and Computation Seminar</i>, Instituto Superior Técnico, Mars 21, 2003.
Título: Preservation of completeness by fibring labelled first-order based logics (Part II).

<i>Logic and Computation Seminar</i>, Instituto Superior Técnico, May 14, 2004.
Título: Cut elimination in the modal sequent calculus labelled with truth values.

<i>Portuguese Category Seminar 04</i>, Coimbra, June 18 and 22, 2004.
Título: Cut elimination in a general modal calculus.

<i>Colloquia Logicae</i>, CLE, Universidade Estadual de Campinas, Brazil, February 17, 2005.
Título: The complexity of cut elimination in a modal sequent calculus labelled with truth values.

<i>Seminário de Ciência da Computação</i>, IME, Universidade de São Paulo, Brazil, February 18, 2005.
Título: The complexity of cut elimination in a modal sequent calculus labelled with truth values.

<i>Logic and Computation Seminar</i>, Instituto Superior Técnico, February 25, 2005.
Título: Sufficient conditions for cut elimination in first order based calculi.

<i>Structures and Deduction - The Quest for the Essence of Proofs (Affiliated Workshop of ICALP 2005)</i>, Lisbon, Portugal, July 16-17, 2005.
Título: Cut elimination in propositional based logics.

<i>PCC -- Proof, Computation, Complexity</i>, Lisboa, Portugal, July 16-17, 2005.
Título: Cut elimination in first order based logics

<i>4th International Workshop on Proof Theory, Computation, Complexity (Affiliated Workshop of ICALP 2005)</i>, Lisbon, Portugal, July 16-17, 2005.
Título: Complexity analysis of cut elimination in first order based logics.

<i>Quantum Computation and Information Seminar</i>, Instituto Superior Técnico, October 28, 2005.
Título: Quantum complexity classes.

<i>Quantum Computation and Information Seminar</i>, Instituto Superior Técnico, November 4, 2005.
Título: Quantum complexity classes II.

<i>Days in Logic (DiL´06)</i>, Coimbra, Portugal, January 19-21, 2006.
Título: Some complexity results on cut elimination in first order based logics

<i>Seminário de Lógica Matemática</i>, FCUL-IST, Lisboa, November 23, 2006.
Título: Complete axiomatization of discrete-measure almost-everywhere quantification.

<i>Seminário de Lógica e Computação</i>, CLC, IST, Lisboa, December 15, 2006.
Título: Almost-everywhere quantification revisited.

<i>Lisbon Quantum Computation, Information and Logic Meeting Series - LQCIL'07</i>, IST, Lisboa, July 18-20, 2007.
Título: Transferring proofs of zero-knowledge systems with quantum tamper-proof devices.

<i>Days in Logic 2008</i>, IST, Lisboa, Portugal, January 16-18, 2008.
Título: Generalized negative translations and interpolation.

<i>Encontro Nacional SPM - Sessão de Lógica e Computação</i>, ISEC, Coimbra, Portugal, June 26, 2008.
Título: Discrete measure almost-everywhere quantification.

<i>Seminário de Álgebra e Lógica</i>, Centro de Matemática, U Minho, Braga, Portugal, January 28, 2008.
Título: Preservation of interpolation and generalized negative translations.

<i>Logic and Computation Seminar</i>, Instituto Superior Técnico, October 31, 2008.
Título: Interpolation via translations.

<i>Logic and Computation Seminar</i>, Instituto Superior Técnico, December 4, 2009.
Título: A categorical view on quantifier-elimination - Part II.

<i>Days in Logic 2012</i>, U Évora, Portugal, February 6-8, 2012.
Título: On combined connectives.

<i>Logic and Computation Seminar</i>, Instituto Superior Técnico, January 11, 2013.
Título: Quantifier elimination revisited.

<i>Logic and Computation Seminar</i>, Instituto Superior Técnico, May 24, 2013.
Título: Completeness and interpolation of almost-everywhere quantification over finitely additive measures.

<i>Logic Colloquium 2013</i>, U. Évora, July 22–27, 2013.
Título: Completeness and interpolation of almost-everywhere quantification over finitely additive measures.

<i>Proof Theory in Lisbon 2013</i>, Instituto para a Investigação Interdisciplinar, July 19, 2013. Título: Preservation of Craig interpolation by the product of matrix logics.

<i>Seminário de Lógica e Computação</i>, Instituto Superior Técnico, September 26, 2014.
Título: Craig interpolation in the presence of unreliable connectives.

<i>Seminário de Lógica e Computação</i>, Instituto Superior Técnico, July 3, 2015.
Título: Preservation of admissible rules by the product of matrix logics.