João Rasga

Cited by

	All	Since 2018
Citations	435	84
h-index	10	5
i10-index	12	0

2002200320042005200620072008200920102011201220132014201520162017201820192020202120225 13 12 27 3 35 16 22 29 24 20 25 32 23 18 19 12 9 13 18 31

Public access

View all

10 articles

3 articles

available

not available

Based on funding mandates

Co-authors

Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, PortugalVerified email at tecnico.ulisboa.pt
Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de LisboaVerified email at tecnico.ulisboa.pt
Walter CarnielliProfessor of Logic and Foundations of Mathematics, Centre for Logic, Epistemology and the History ofVerified email at cle.unicamp.br
Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's CollegeVerified email at kcl.ac.uk
Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalVerified email at math.ist.utl.pt
Marcelo Esteban ConiglioProfessor of Logic, University of CampinasVerified email at unicamp.br
Filipe CasalTrail of BitsVerified email at trailofbits.com
Carlos CaleiroAssociate Professor for Logic and Computation at IST, Univ. LisboaVerified email at math.ist.utl.pt
Luís Cruz-FilipeUniversity of Southern DenmarkVerified email at imada.sdu.dk
Wafik LotfallahProfessor, Department of Mathematics and Actuarial Science, American University in CairoVerified email at aucegypt.edu
Erisa KarafiliAssistant Professor, Electronics and Computer Science, University of SouthamptonVerified email at soton.ac.uk
Karina RoggiaProfessor of Theoretical Computer Science, Universidade do Estado de Santa CatarinaVerified email at udesc.br
Nikola PaunkovicInstituto de TelecomunicaçõesVerified email at math.ist.utl.pt
André SoutoDep. Informática, Faculdade Ciências, Universidade Lisboa, LASIGE e Instituto de TelecomunicaçõesVerified email at fc.ul.pt
Luis AlcacerInstituto de TelecomunicaçõesVerified email at lx.it.pt

João Rasga

Associate Professor of Logic and Computation, D. Mathematics, Instituto Superior Técnico, U Lisboa

Verified email at tecnico.ulisboa.pt - Homepage

Mathematical Logic and Applications


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Modulated fibring and the collapsing problem C Sernadas, J Rasga, WA Carnielli Journal of Symbolic Logic 67 (4), 1541-1569, 2002	75	2002
Fibring of logics as a universal construction C Caleiro, J Rasga, C Sernadas, W Carnielli Handbook of Philosophical Logic, 2nd Edition 13, 123-187, 2005	48	2005
Fibring labelled deduction systems J Rasga, A Sernadas, C Sernadas, L Vigano Journal of Logic and Computation 12 (3), 443-473, 2002	43	2002
Preservation of interpolation features by fibring W Carnielli, J Rasga, C Sernadas Journal of Logic and Computation 18 (1), 123-151, 2008	28	2008
A graph-theoretic account of logics A Sernadas, C Sernadas, J Rasga, M Coniglio Journal of Logic and Computation 19 (6), 1281-1320, 2009	22	2009
Importing logics J Rasga, A Sernadas, C Sernadas Studia Logica 100 (3), 545-581, 2012	20	2012
On meet-combination of logics A Sernadas, C Sernadas, J Rasga Journal of Logic and Computation 22 (6), 1453-1470, 2012	19	2012
On graph-theoretic fibring of logics A Sernadas, C Sernadas, J Rasga, M Coniglio Journal of Logic and Computation 19 (6), 1321-1357, 2009	19	2009
Sufficient conditions for cut elimination with complexity analysis J Rasga Annals of Pure and Applied Logic 149 (1-3), 81-99, 2007	15	2007
Modal sequent calculi labelled with truth values: Cut elimination P Mateus, J Rasga, C Sernadas Logic Journal of IGPL 13 (2), 173-199, 2005	13	2005
On combined connectives A Sernadas, C Sernadas, J Rasga Logica Universalis 5 (2), 205-224, 2011	10	2011
Labelled Deduction over Algebras of Truth-Values^* J Rasga, A Sernadas, C Sernadas, L Viganò International Workshop on Frontiers of Combining Systems, 222-239, 2002	10	2002
Truth-values as labels: A general recipe for labelled deduction C Sernadas, L Viganò, J Rasga, A Sernadas Journal of Applied Non-Classical Logics 13 (3-4), 277-315, 2003	9	2003
Importing logics: Soundness and completeness preservation J Rasga, A Sernadas, C Sernadas Studia Logica 101 (1), 117-155, 2013	8	2013
Approximate reasoning about logic circuits with single-fan-out unreliable gates A Sernadas, J Rasga, C Sernadas, P Mateus Journal of Logic and Computation 24 (5), 1023-1069, 2014	7	2014
Preservation of Craig interpolation by the product of matrix logics C Sernadas, J Rasga, A Sernadas Journal of Applied Logic 11 (3), 328-349, 2013	7	2013
Interpolation via translations J Rasga, W Carnielli, C Sernadas Mathematical Logic Quarterly 55 (5), 515-534, 2009	7	2009
Complete axiomatization of discrete-measure almost-everywhere quantification L Cruz-Filipe, J Rasga, A Sernadas, C Sernadas Journal of Logic and Computation 18 (6), 885-911, 2008	7	2008
Many-sorted equivalence of shiny and strongly polite theories F Casal, J Rasga Journal of Automated Reasoning 60 (2), 221-236, 2018	6	2018
Fibring as biporting subsumes asymmetric combinations J Rasga, A Sernadas, C Sernadas Studia Logica 102 (5), 1041-1074, 2014	6	2014

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors