Maria Cristina Sales Viana Serôdio Sernadas
AuthID: R-000-ATN
1
TÃTULO: Particular Reasoning Within Theories
AUTORES: Rasga, Joao; Sernadas, Cristina;
PUBLICAÇÃO: 2025, FONTE: LOGIC AND LOGICAL PHILOSOPHY
AUTORES: Rasga, Joao; Sernadas, Cristina;
PUBLICAÇÃO: 2025, FONTE: LOGIC AND LOGICAL PHILOSOPHY
INDEXADO EM: 
WOS
WOS2
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, VOLUME: 33, NÚMERO: 1
AUTORES: Ramos, Jaime; Rasga, Joao; Sernadas, Cristina;
PUBLICAÇÃO: 2024, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 33, NÚMERO: 1
3
TÃTULO: Meet-Combination of Consequence Systems
AUTORES: Gouveia, Paula; Rasga, Joao; Sernadas, Cristina;
PUBLICAÇÃO: 2024, FONTE: LOGIC AND LOGICAL PHILOSOPHY, VOLUME: 34, NÚMERO: 1
AUTORES: Gouveia, Paula; Rasga, Joao; Sernadas, Cristina;
PUBLICAÇÃO: 2024, FONTE: LOGIC AND LOGICAL PHILOSOPHY, VOLUME: 34, NÚMERO: 1
4
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
5
TÃTULO: ON COMBINING INTUITIONISTIC AND S4 MODAL LOGIC
AUTORES: Rasga, Joao; Sernadas, Cristina;
PUBLICAÇÃO: 2024, FONTE: BULLETIN OF THE SECTION OF LOGIC, VOLUME: 53, NÚMERO: 3
AUTORES: Rasga, Joao; Sernadas, Cristina;
PUBLICAÇÃO: 2024, FONTE: BULLETIN OF THE SECTION OF LOGIC, VOLUME: 53, NÚMERO: 3
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: 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
8
TÃTULO: Adding abductive reasoning to a propositional logic
AUTORES: Rasga, J; Sernadas, C;
PUBLICAÇÃO: 2021, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 32, NÚMERO: 4
AUTORES: Rasga, J; Sernadas, C;
PUBLICAÇÃO: 2021, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 32, NÚMERO: 4
9
TÃTULO: Decision and optimization problems in the unreliable-circuit logic Full Text
AUTORES: RASGA, J; SERNADAS, C; MATEUS, P; SERNADAS, A;
PUBLICAÇÃO: 2017, FONTE: Logic Journal of the IGPL, VOLUME: 25, NÚMERO: 3
AUTORES: RASGA, J; SERNADAS, C; MATEUS, P; SERNADAS, A;
PUBLICAÇÃO: 2017, FONTE: Logic Journal of the IGPL, VOLUME: 25, NÚMERO: 3
10
TÃTULO: Realization of probabilistic automata: Categorical approach
AUTORES: Mateus, P; Sernadas, A; Sernadas, C;
PUBLICAÇÃO: 2000, FONTE: 14th International Workshop on Algebraic Development Techniques, WADT 1999 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1827
AUTORES: Mateus, P; Sernadas, A; Sernadas, C;
PUBLICAÇÃO: 2000, FONTE: 14th International Workshop on Algebraic Development Techniques, WADT 1999 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1827
