Labelled Deduction over Algebras of Truth-Values. - João Rasga; Amílcar Sernadas; Cristina Sernadas; Luca Viganò 001 (FroCoS, 2002)

Modulated Fibring and The Collapsing Problem. - Cristina Sernadas; João Rasga; Walter Alexandre Carnielli (J. Symb. Log., 2002)

Fibring Labelled Deduction Systems. - João Rasga; Amílcar Sernadas; Cristina Sernadas; Luca Viganò 001 (J. Log. Comput., 2002)

Truth-values as Labels: A General Recipe for Labelled Deduction. - Cristina Sernadas; Luca Viganò 001; João Rasga; Amílcar Sernadas (J. Appl. Non Class. Logics, 2003)

Modal Sequent Calculi Labelled with Truth Values: Cut Elimination. - Paulo Mateus; João Rasga; Cristina Sernadas (Log. J. IGPL, 2005)

Transfering Proofs of Zero-Knowledge Systems with Quantum Correlations. - Paulo Mateus; Filipe Moura; João Rasga (ICQNM, 2007)

Sufficient conditions for cut elimination with complexity analysis. - João Rasga (Ann. Pure Appl. Log., 2007)

Preservation of Interpolation Features by Fibring. - Walter Alexandre Carnielli; João Rasga; Cristina Sernadas (J. Log. Comput., 2008)

Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification. - Luís Cruz-Filipe; João Rasga; Amílcar Sernadas; Cristina Sernadas (J. Log. Comput., 2008)

A Graph-theoretic Account of Logics. - Amílcar Sernadas; Cristina Sernadas; João Rasga; Marcelo E. Coniglio (J. Log. Comput., 2009)

On Graph-theoretic Fibring of Logics. - Amílcar Sernadas; Cristina Sernadas; João Rasga; Marcelo E. Coniglio (J. Log. Comput., 2009)

Interpolation via translations. - João Rasga; Walter Alexandre Carnielli; Cristina Sernadas (Math. Log. Q., 2009)

Fusion of sequent modal logic systems labelled with truth values. - João Rasga; Karina Girardi Roggia; Cristina Sernadas (Log. J. IGPL, 2010)

On Combined Connectives. - Amílcar Sernadas; Cristina Sernadas; João Rasga (Logica Universalis, 2011)

On meet-combination of logics. - Amílcar Sernadas; Cristina Sernadas; João Rasga (J. Log. Comput., 2012)

Importing Logics. - João Rasga; Amílcar Sernadas; Cristina Sernadas (Stud Logica, 2012)

Revisiting the Equivalence of Shininess and Politeness. - Filipe Casal; João Rasga (LPAR, 2013)

Preservation of Craig interpolation by the product of matrix logics. - Cristina Sernadas; João Rasga; Amílcar Sernadas (J. Appl. Log., 2013)

Completeness and interpolation of almost-everywhere quantification over finitely additive measures. - João Rasga; Wafik Boulos Lotfallah; Cristina Sernadas (Math. Log. Q., 2013)

Importing Logics: Soundness and Completeness Preservation. - João Rasga; Amílcar Sernadas; Cristina Sernadas (Stud Logica, 2013)

Approximate reasoning about logic circuits with single-fan-out unreliable gates. - Amílcar Sernadas; João Rasga; Cristina Sernadas; Paulo Mateus (J. Log. Comput., 2014)

Craig Interpolation in the Presence of Unreliable Connectives. - João Rasga; Cristina Sernadas; Amílcar Sernadas (Logica Universalis, 2014)

Fibring as Biporting Subsumes Asymmetric Combinations. - João Rasga; Amílcar Sernadas; Cristina Sernadas (Stud Logica, 2014)

Preservation of Admissible Rules when Combining Logics. - João Rasga; Cristina Sernadas; Amílcar Sernadas (Rev. Symb. Log., 2016)

Decision and optimization problems in the unreliable-circuit logic. - João Rasga; Cristina Sernadas; Paulo Mateus; Amílcar Sernadas (Log. J. IGPL, 2017)

Kolmogorov One-Way Functions Revisited. - Filipe Casal; João Rasga; André Souto (Cryptogr., 2018)

Many-Sorted Equivalence of Shiny and Strongly Polite Theories. - Filipe Casal; João Rasga (J. Autom. Reason., 2018)

Probabilistic logic of quantum observations. - Amílcar Sernadas; João Rasga; Cristina Sernadas; Luís Alcácer; Alfredo Barbosa Henriques (Log. J. IGPL, 2019)

Essential Structure of Proofs as a Measure of Complexity. - Jaime Ramos; João Rasga; Cristina Sernadas (Logica Universalis, 2020)

Reduction Techniques for Proving Decidability in Logics and their Meet-Combination. - João Rasga; Cristina Sernadas; Walter Carnielli (Bull. Symb. Log., 2021)

Revisiting separation: Algorithms and complexity. - Daniel Oliveira 011; João Rasga (Log. J. IGPL, 2021)

Time-stamped claim logic. - João Rasga; Cristina Sernadas; Erisa Karafili; Luca Viganò 001 (Log. J. IGPL, 2021)

Event-Based Time-Stamped Claim Logic. - Jaime Ramos; João Rasga; Cristina Sernadas; Luca Viganò 001 (J. Log. Algebraic Methods Program., 2021)

Adding abductive reasoning to a propositional logic. - João Rasga; Cristina Sernadas (J. Log. Comput., 2022)

Conservative Translations Revisited. - Jaime Ramos; João Rasga; Cristina Sernadas (J. Philos. Log., 2023)

Labelled proof systems for existential reasoning. - Jaime Ramos; João Rasga; Cristina Sernadas (Log. J. IGPL, 2025)