Decidability of Logical Theories and Their Combination von Rasga, João, Sernadas, Cristina

Volltext

On Combining Intuitionistic and S4 Modal Logic von Rasga, João, Sernadas, Cristina

Volltext

Schema Complexity in Propositional-Based Logics von Ramos, Jaime, Rasga, João, Sernadas, Cristina

Volltext

Essential Structure of Proofs as a Measure of Complexity von Ramos, Jaime, Rasga, João, Sernadas, Cristina

Volltext

Adding abductive reasoning to a propositional logic von Rasga, João, Sernadas, Cristina

Volltext

Probabilistic Semantics and Calculi for Multi-valued and Paraconsistent Logics von Ramos, Jaime, Rasga, João, Sernadas, Cristina

Volltext

Labelled proof systems for existential reasoning von Ramos, Jaime, Rasga, João, Sernadas, Cristina

Volltext

REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION von RASGA, JOÃO, SERNADAS, CRISTINA, CARNIELLI, WALTER

Volltext

Time-stamped claim logic von Rasga, João, Sernadas, Cristina, Karafili, Erisa, Viganò, Luca

Volltext

On probability and logic von Sernadas, Amílcar, Rasga, João, Sernadas, Cristina

Volltext

PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS von RASGA, JOÃO, SERNADAS, CRISTINA, SERNADAS, AMÍLCAR

Volltext

Time-stamped claim logic von Rasga, João, Sernadas, Cristina, Karafili, Erisa, Viganò, Luca

Volltext

Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems von Carnielli, Walter, Coniglio, Marcelo, Gabbay, Dov M, Gouveia, Paula, Sernadas, Cristina

Volltext

Event-Based Time-Stamped Claim Logic von Ramos, Jaime, Rasga, João, Sernadas, Cristina, Viganò, Luca

Volltext

Fibring Logics with Topos Semantics von Coniglio, Marcelo E., Sernadas, Amilcar C., Sernadas, Cristina S.

Volltext

Craig Interpolation in the Presence of Unreliable Connectives von Rasga, João, Sernadas, Cristina, Sernadas, Amlcar

Volltext

Importing Logics von Rasga, João, Sernadas, Amílcar, Sernadas, Cristina

Volltext

A Graph-theoretic Account of Logics von Sernadas, Amilcar, Sernadas, Cristina, Rasga, Joao, Coniglio, Marcelo

Volltext

Completeness and interpolation of almost-everywhere quantification over finitely additive measures von Rasga, João, Lotfallah, Wafik Boulos, Sernadas, Cristina

Volltext

On Graph-theoretic Fibring of Logics von Sernadas, Amilcar, Sernadas, Cristina, Rasga, Joao, Coniglio, Marcelo

Volltext