E-LIB Suche - Ergebnisse für: Sernadas, Cristina

1

Probabilistic Semantics and Calculi for Multi-valued and Pa..:

Ramos, Jaime ; Rasga, João ; Sernadas, Cristina
Studia Logica. , 2024

Link: https://doi.org/10.1007/..

2

Labelled proof systems for existential reasoning:

Ramos, Jaime ; Rasga, João ; Sernadas, Cristina
Logic Journal of the IGPL. , 2024

Link: https://doi.org/10.1093/..

3

On combining intuitionistic and S4 modal logic:

Rasga, João ; Sernadas, Cristina
Bulletin of the Section of Logic. , 2024

Link: https://doi.org/10.18778..

4

Meet-Combination of Consequence Systems:

Gouveia, Paula ; Rasga, João ; Sernadas, Cristina
Logic and Logical Philosophy. , 2024

Link: https://doi.org/10.12775..

5

REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND..:

RASGA, JOÃO ; SERNADAS, CRISTINA ; CARNIELLI, WALTER
The Bulletin of Symbolic Logic. 27 (2021) 1 - p. 39-66 , 2021

Link: https://doi.org/10.1017/..

6

Event-Based Time-Stamped Claim Logic:

Ramos, Jaime ; Rasga, João ; Sernadas, Cristina.
Journal of Logical and Algebraic Methods in Programming. 121 (2021) - p. 100684 , 2021

Link: https://doi.org/10.1016/..

7

Schema Complexity in Propositional-Based Logics:

Ramos, Jaime ; Rasga, João ; Sernadas, Cristina
Mathematics. 9 (2021) 21 - p. 2671 , 2021

Link: https://doi.org/10.3390/..

8

REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND..:

RASGA, JOÃO ; SERNADAS, CRISTINA ; CARNIELLI, WALTER
The Bulletin of Symbolic Logic. 27 (2021) 1 - p. 39-66 , 2021

Link: https://www.jstor.org/st..

9

Adding abductive reasoning to a propositional logic:

Rasga, João ; Sernadas, Cristina
Journal of Logic and Computation. 32 (2021) 4 - p. 697-728 , 2021

Link: https://doi.org/10.1093/..

10

Time-stamped claim logic:

Rasga, João ; Sernadas, Cristina ; Karafili, Erisa.
Logic Journal of the IGPL. 29 (2020) 3 - p. 303-332 , 2020

Link: https://doi.org/10.1093/..

11

First-Order Logic:

, In: Studies in Universal Logic; Decidability of Logical Theories and Their Combination,

Rasga, João ; Sernadas, Cristina - p. 1-34 , 2020

Link: https://doi.org/10.1007/..

12

Decidability of Logical Theories and Their Combination

Studies in Universal Logic

Rasga, João ; Sernadas, Cristina - 1st ed. 2020 . , 2020

Link: https://doi.org/10.1007/..

13

Combination of Theories:

, In: Studies in Universal Logic; Decidability of Logical Theories and Their Combination,

Rasga, João ; Sernadas, Cristina - p. 143-159 , 2020

Link: https://doi.org/10.1007/..

14

Reasoning with Theories:

, In: Studies in Universal Logic; Decidability of Logical Theories and Their Combination,

Rasga, João ; Sernadas, Cristina - p. 35-73 , 2020

Link: https://doi.org/10.1007/..

15

Quantifier Elimination:

, In: Studies in Universal Logic; Decidability of Logical Theories and Their Combination,

Rasga, João ; Sernadas, Cristina - p. 101-141 , 2020

Link: https://doi.org/10.1007/..