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