João Rasga

Cited by

	All	Since 2019
Citations	482	118
h-index	11	6
i10-index	14	2

200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320245 12 13 27 3 35 16 21 29 27 19 23 32 22 19 19 11 9 18 21 25 20 25

Public access

View all

9 articles

7 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
Nikola PaunkovicInstituto de TelecomunicaçõesVerified email at math.ist.utl.pt
Karina RoggiaUniversidade do Estado de Santa CatarinaVerified email at udesc.br
André SoutoDep. Informática, Faculdade Ciências, Universidade Lisboa, LASIGE e Instituto de TelecomunicaçõesVerified email at fc.ul.pt
Erisa KarafiliAssociate Professor, Electronics and Computer Science, University of SouthamptonVerified email at soton.ac.uk
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	80	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	51	2005
Fibring labelled deduction systems J Rasga, A Sernadas, C Sernadas, L Vigano Journal of Logic and Computation 12 (3), 443-473, 2002	41	2002
Preservation of interpolation features by fibring W Carnielli, J Rasga, C Sernadas Journal of Logic and Computation 18 (1), 123-151, 2008	30	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	26	2009
On meet-combination of logics A Sernadas, C Sernadas, J Rasga Journal of Logic and Computation 22 (6), 1453-1470, 2012	23	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	21	2009
Importing logics J Rasga, A Sernadas, C Sernadas Studia Logica 100 (3), 545-581, 2012	19	2012
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	14	2005
Many-sorted equivalence of shiny and strongly polite theories F Casal, J Rasga Journal of Automated Reasoning 60 (2), 221-236, 2018	12	2018
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	11	2002
On combined connectives A Sernadas, C Sernadas, J Rasga Logica Universalis 5 (2), 205-224, 2011	10	2011
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	10	2003
Revisiting the equivalence of shininess and politeness F Casal, J Rasga International Conference on Logic for Programming Artificial Intelligence …, 2013	9	2013
Importing logics: Soundness and completeness preservation J Rasga, A Sernadas, C Sernadas Studia Logica 101 (1), 117-155, 2013	8	2013
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	8	2008
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
Fibring as biporting subsumes asymmetric combinations J Rasga, A Sernadas, C Sernadas Studia Logica 102 (5), 1041-1074, 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

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