João Filipe Quintas dos Santos Rasga
AuthID: R-000-6Z8
1
TÃTULO: Labelled proof systems for existential reasoning Full Text
AUTORES: Ramos, Jaime; Rasga, Joao; Sernadas, Cristina;
PUBLICAÇÃO: 2024, FONTE: LOGIC JOURNAL OF THE IGPL
AUTORES: Ramos, Jaime; Rasga, Joao; Sernadas, Cristina;
PUBLICAÇÃO: 2024, FONTE: LOGIC JOURNAL OF THE IGPL
2
TÃTULO: Meet-Combination of Consequence Systems
AUTORES: Gouveia, Paula; Rasga, Joao; Sernadas, Cristina;
PUBLICAÇÃO: 2024, FONTE: LOGIC AND LOGICAL PHILOSOPHY
AUTORES: Gouveia, Paula; Rasga, Joao; Sernadas, Cristina;
PUBLICAÇÃO: 2024, FONTE: LOGIC AND LOGICAL PHILOSOPHY
3
TÃTULO: Probabilistic Semantics and Calculi for Multi-valued and Paraconsistent Logics Full Text
AUTORES: Ramos, Jaime; Rasga, Joao; Sernadas, Cristina;
PUBLICAÇÃO: 2024, FONTE: STUDIA LOGICA
AUTORES: Ramos, Jaime; Rasga, Joao; Sernadas, Cristina;
PUBLICAÇÃO: 2024, FONTE: STUDIA LOGICA
4
TÃTULO: ON COMBINING INTUITIONISTIC AND S4 MODAL LOGIC
AUTORES: Rasga, Joao; Sernadas, Cristina;
PUBLICAÇÃO: 2024, FONTE: BULLETIN OF THE SECTION OF LOGIC
AUTORES: Rasga, Joao; Sernadas, Cristina;
PUBLICAÇÃO: 2024, FONTE: BULLETIN OF THE SECTION OF LOGIC
6
TÃTULO: Event-Based Time-Stamped Claim Logic
AUTORES: Ramos, J; Rasga, J; Sernadas, C; Vigano, L;
PUBLICAÇÃO: 2021, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 121
AUTORES: Ramos, J; Rasga, J; Sernadas, C; Vigano, L;
PUBLICAÇÃO: 2021, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 121
7
TÃTULO: Revisiting separation: Algorithms and complexity
AUTORES: Oliveira, D; Rasga, J;
PUBLICAÇÃO: 2021, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 29, NÚMERO: 3
AUTORES: Oliveira, D; Rasga, J;
PUBLICAÇÃO: 2021, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 29, NÚMERO: 3
8
TÃTULO: Time-stamped claim logic
AUTORES: Rasga, J; Sernadas, C; Karafili, E; Vigano, L;
PUBLICAÇÃO: 2021, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 29, NÚMERO: 3
AUTORES: Rasga, J; Sernadas, C; Karafili, E; Vigano, L;
PUBLICAÇÃO: 2021, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 29, NÚMERO: 3
9
TÃTULO: REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET-COMBINATION
AUTORES: Rasga, J; Sernadas, C; Carnielli, W;
PUBLICAÇÃO: 2021, FONTE: BULLETIN OF SYMBOLIC LOGIC, VOLUME: 27, NÚMERO: 1
AUTORES: Rasga, J; Sernadas, C; Carnielli, W;
PUBLICAÇÃO: 2021, FONTE: BULLETIN OF SYMBOLIC LOGIC, VOLUME: 27, NÚMERO: 1
10
TÃTULO: Schema Complexity in Propositional-Based Logics Full Text
AUTORES: Ramos, J; Rasga, J; Sernadas, C;
PUBLICAÇÃO: 2021, FONTE: MATHEMATICS, VOLUME: 9, NÚMERO: 21
AUTORES: Ramos, J; Rasga, J; Sernadas, C;
PUBLICAÇÃO: 2021, FONTE: MATHEMATICS, VOLUME: 9, NÚMERO: 21
