Maria Cristina Sales Viana Serôdio Sernadas
AuthID: R-000-ATN
1
TITLE: Particular Reasoning Within Theories
AUTHORS: Rasga, Joao; Sernadas, Cristina;
PUBLISHED: 2025, SOURCE: LOGIC AND LOGICAL PHILOSOPHY
AUTHORS: Rasga, Joao; Sernadas, Cristina;
PUBLISHED: 2025, SOURCE: LOGIC AND LOGICAL PHILOSOPHY
INDEXED IN: 
WOS
WOS2
TITLE: Labelled proof systems for existential reasoning Full Text
AUTHORS: Ramos, Jaime; Rasga, Joao; Sernadas, Cristina;
PUBLISHED: 2024, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 33, ISSUE: 1
AUTHORS: Ramos, Jaime; Rasga, Joao; Sernadas, Cristina;
PUBLISHED: 2024, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 33, ISSUE: 1
3
TITLE: Meet-Combination of Consequence Systems
AUTHORS: Gouveia, Paula; Rasga, Joao; Sernadas, Cristina;
PUBLISHED: 2024, SOURCE: LOGIC AND LOGICAL PHILOSOPHY, VOLUME: 34, ISSUE: 1
AUTHORS: Gouveia, Paula; Rasga, Joao; Sernadas, Cristina;
PUBLISHED: 2024, SOURCE: LOGIC AND LOGICAL PHILOSOPHY, VOLUME: 34, ISSUE: 1
4
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
5
TITLE: ON COMBINING INTUITIONISTIC AND S4 MODAL LOGIC
AUTHORS: Rasga, Joao; Sernadas, Cristina;
PUBLISHED: 2024, SOURCE: BULLETIN OF THE SECTION OF LOGIC, VOLUME: 53, ISSUE: 3
AUTHORS: Rasga, Joao; Sernadas, Cristina;
PUBLISHED: 2024, SOURCE: BULLETIN OF THE SECTION OF LOGIC, VOLUME: 53, ISSUE: 3
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: 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
8
TITLE: Adding abductive reasoning to a propositional logic
AUTHORS: Rasga, J; Sernadas, C;
PUBLISHED: 2021, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 32, ISSUE: 4
AUTHORS: Rasga, J; Sernadas, C;
PUBLISHED: 2021, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 32, ISSUE: 4
9
TITLE: Decision and optimization problems in the unreliable-circuit logic Full Text
AUTHORS: RASGA, J; SERNADAS, C; MATEUS, P; SERNADAS, A;
PUBLISHED: 2017, SOURCE: Logic Journal of the IGPL, VOLUME: 25, ISSUE: 3
AUTHORS: RASGA, J; SERNADAS, C; MATEUS, P; SERNADAS, A;
PUBLISHED: 2017, SOURCE: Logic Journal of the IGPL, VOLUME: 25, ISSUE: 3
10
TITLE: Realization of probabilistic automata: Categorical approach
AUTHORS: Mateus, P; Sernadas, A; Sernadas, C;
PUBLISHED: 2000, SOURCE: 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
AUTHORS: Mateus, P; Sernadas, A; Sernadas, C;
PUBLISHED: 2000, SOURCE: 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
