| Modulated fibring and the collapsing problem C Sernadas, J Rasga, WA Carnielli Journal of Symbolic Logic 67 (4), 1541-1569, 2002 | 83 | 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 | 59 | 2005 |
| Fibring labelled deduction systems J Rasga, A Sernadas, C Sernadas, L Vigano Journal of Logic and Computation 12 (3), 443-473, 2002 | 42 | 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 | 27 | 2009 |
| On meet-combination of logics A Sernadas, C Sernadas, J Rasga Journal of Logic and Computation 22 (6), 1453-1470, 2012 | 24 | 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 | 22 | 2009 |
| Importing logics J Rasga, A Sernadas, C Sernadas Studia Logica 100 (3), 545-581, 2012 | 20 | 2012 |
| Many-sorted equivalence of shiny and strongly polite theories F Casal, J Rasga Journal of Automated Reasoning 60 (2), 221-236, 2018 | 18 | 2018 |
| Sufficient conditions for cut elimination with complexity analysis J Rasga Annals of Pure and Applied Logic 149 (1-3), 81-99, 2007 | 16 | 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 |
| Revisiting the equivalence of shininess and politeness F Casal, J Rasga International Conference on Logic for Programming Artificial Intelligence …, 2013 | 13 | 2013 |
| 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 |
| Importing logics: Soundness and completeness preservation J Rasga, A Sernadas, C Sernadas Studia Logica 101 (1), 117-155, 2013 | 9 | 2013 |
| Fibring as biporting subsumes asymmetric combinations J Rasga, A Sernadas, C Sernadas Studia Logica 102 (5), 1041-1074, 2014 | 8 | 2014 |
| Interpolation via translations J Rasga, W Carnielli, C Sernadas Mathematical Logic Quarterly 55 (5), 515-534, 2009 | 8 | 2009 |
| Reduction techniques for proving decidability in logics and their meet–combination J Rasga, C Sernadas, W Carnielli Bulletin of Symbolic Logic 27 (1), 39-66, 2021 | 7 | 2021 |
| On probability and logic A Sernadas, J Rasga, C Sernadas Portugaliae Mathematica 74 (4), 267-313, 2017 | 7 | 2017 |
Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, PortugalVerified email at tecnico.ulisboa.pt
