João Rasga - RankMe

39 papers B 1Journal 36Unranked 2

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