João Rasga

Publication Activity (10 Years)

Years Active: 2002-2023
Publications (10 Years): 14

Top Topics

Expressive Power

Propositional Logic

Optimization Problems

Top Venues

Logica Universalis

Publications

Jaime Ramos, João Rasga, Cristina Sernadas
Conservative Translations Revisited. J. Philos. Log. 52 (3) (2023)
João Rasga, Cristina Sernadas
Adding abductive reasoning to a propositional logic. J. Log. Comput. 32 (4) (2022)
João Rasga, Cristina Sernadas, Erisa Karafili, Luca Viganò
Time-stamped claim logic. Log. J. IGPL 29 (3) (2021)
Jaime Ramos, João Rasga, Cristina Sernadas, Luca Viganò
Event-Based Time-Stamped Claim Logic. J. Log. Algebraic Methods Program. 121 (2021)
Daniel Oliveira, João Rasga
Revisiting separation: Algorithms and complexity. Log. J. IGPL 29 (3) (2021)
João Rasga, Cristina Sernadas, Walter Carnielli
Reduction Techniques for Proving Decidability in Logics and their Meet-Combination. Bull. Symb. Log. 27 (1) (2021)
Jaime Ramos, João Rasga, Cristina Sernadas
Essential Structure of Proofs as a Measure of Complexity. Logica Universalis 14 (2) (2020)
João Rasga, Cristina Sernadas, Erisa Karafili, Luca Viganò
Time-Stamped Claim Logic. CoRR (2019)
Amílcar Sernadas, João Rasga, Cristina Sernadas, Luís Alcácer, Alfredo Barbosa Henriques
Probabilistic logic of quantum observations. Log. J. IGPL 27 (3) (2019)
Filipe Casal, João Rasga, André Souto
Kolmogorov One-Way Functions Revisited. Cryptogr. 2 (2) (2018)
Filipe Casal, João Rasga
Many-Sorted Equivalence of Shiny and Strongly Polite Theories. J. Autom. Reason. 60 (2) (2018)
João Rasga, Cristina Sernadas, Paulo Mateus, Amílcar Sernadas
Decision and optimization problems in the unreliable-circuit logic. Log. J. IGPL 25 (3) (2017)
João Rasga, Cristina Sernadas, Paulo Mateus, Amílcar Sernadas
Decision and optimization problems in the Unreliable-Circuit Logic. CoRR (2016)
João Rasga, Cristina Sernadas, Amílcar Sernadas
Preservation of Admissible Rules when Combining Logics. Rev. Symb. Log. 9 (4) (2016)
João Rasga, Cristina Sernadas, Amílcar Sernadas
Craig Interpolation in the Presence of Unreliable Connectives. Logica Universalis 8 (3-4) (2014)
João Rasga, Amílcar Sernadas, Cristina Sernadas
Fibring as Biporting Subsumes Asymmetric Combinations. Stud Logica 102 (5) (2014)
Amílcar Sernadas, João Rasga, Cristina Sernadas, Paulo Mateus
Approximate reasoning about logic circuits with single-fan-out unreliable gates. J. Log. Comput. 24 (5) (2014)
João Rasga, Amílcar Sernadas, Cristina Sernadas
Importing Logics: Soundness and Completeness Preservation. Stud Logica 101 (1) (2013)
Cristina Sernadas, João Rasga, Amílcar Sernadas
Preservation of Craig interpolation by the product of matrix logics. J. Appl. Log. 11 (3) (2013)
Filipe Casal, João Rasga
Revisiting the Equivalence of Shininess and Politeness. LPAR (2013)
João Rasga, Wafik Boulos Lotfallah, Cristina Sernadas
Completeness and interpolation of almost-everywhere quantification over finitely additive measures. Math. Log. Q. 59 (4-5) (2013)
Amílcar Sernadas, Cristina Sernadas, João Rasga
On meet-combination of logics. J. Log. Comput. 22 (6) (2012)
João Rasga, Amílcar Sernadas, Cristina Sernadas
Importing Logics. Stud Logica 100 (3) (2012)
Amílcar Sernadas, Cristina Sernadas, João Rasga
On Combined Connectives. Logica Universalis 5 (2) (2011)
João Rasga, Karina Girardi Roggia, Cristina Sernadas
Fusion of sequent modal logic systems labelled with truth values. Log. J. IGPL 18 (6) (2010)
Amílcar Sernadas, Cristina Sernadas, João Rasga, Marcelo E. Coniglio
A Graph-theoretic Account of Logics. J. Log. Comput. 19 (6) (2009)
João Rasga, Walter Alexandre Carnielli, Cristina Sernadas
Interpolation via translations. Math. Log. Q. 55 (5) (2009)
Amílcar Sernadas, Cristina Sernadas, João Rasga, Marcelo E. Coniglio
On Graph-theoretic Fibring of Logics. J. Log. Comput. 19 (6) (2009)
Walter Alexandre Carnielli, João Rasga, Cristina Sernadas
Preservation of Interpolation Features by Fibring. J. Log. Comput. 18 (1) (2008)
Luís Cruz-Filipe, João Rasga, Amílcar Sernadas, Cristina Sernadas
Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification. J. Log. Comput. 18 (6) (2008)
Paulo Mateus, Filipe Moura, João Rasga
Transfering Proofs of Zero-Knowledge Systems with Quantum Correlations. ICQNM (2007)
João Rasga
Sufficient conditions for cut elimination with complexity analysis. Ann. Pure Appl. Log. 149 (1-3) (2007)
Paulo Mateus, João Rasga, Cristina Sernadas
Modal Sequent Calculi Labelled with Truth Values: Cut Elimination. Log. J. IGPL 13 (2) (2005)
Cristina Sernadas, Luca Viganò, João Rasga, Amílcar Sernadas
Truth-values as Labels: A General Recipe for Labelled Deduction. J. Appl. Non Class. Logics 13 (3-4) (2003)
João Rasga, Amílcar Sernadas, Cristina Sernadas, Luca Viganò
Labelled Deduction over Algebras of Truth-Values. FroCoS (2002)
Cristina Sernadas, João Rasga, Walter Alexandre Carnielli
Modulated Fibring and The Collapsing Problem. J. Symb. Log. 67 (4) (2002)
João Rasga, Amílcar Sernadas, Cristina Sernadas, Luca Viganò
Fibring Labelled Deduction Systems. J. Log. Comput. 12 (3) (2002)