CASSANO, VALENTÍN; FERVARI, RAUL; ARECES, CARLOS; CASTRO, PABLO F.

Default Modal Systems as Algebraic Updates

DaLı́ - Dynamic Logic: new trends and applications

Año: 2020; p. 1 - 16

CASSANO, VALENTÍN; FERVARI, RAUL; ARECES, CARLOS; CASTRO, PABLO F.

Interpolation and Beth Definability in Default Logics

Logics in Artificial Intelligence - 16th European Conference, JELIA 2019

Año: 2019; p. 675 - 691

DEMRI, STÉPHANE; FERVARI, RAUL; MANSUTTI, ALESSIO

Axiomatising Logics with Separating Conjunction and Modalities

Logics in Artificial Intelligence - 16th European Conference, JELIA 2019

Año: 2019; p. 692 - 708

FERVARI, RAUL; TRUCCO, FRANCISCO; ZILIANI, BETA

Mechanizing Bisimulation Theorems for Relation-Changing Logics in Coq

DaLı́ - Dynamic Logic: new trends and applications,

Año: 2019; p. 3 - 18

CASSANO, VALENTÍN; FERVARI, RAUL; HOFFMANN, GUILLAUME; ARECES, CARLOS; CASTRO, PABLO F.

A Tableaux Calculus for Default Intuitionistic Logic

The 27th International Conference on Automated Deduction CADE27

Año: 2019; p. 1 - 2

DEMRI, STÉPHANE; FERVARI, RAUL

On the Complexity of Modal Separation Logics

Advances in Modal Logics 2018

Lugar: Oxford; Año: 2018; p. 177 - 192

FERVARI, RAUL; VELÁZQUEZ-QUESADA, FERNANDO R.

Dynamic Epistemic Logics of Introspection

Dynamic Logic. New Trends and Applications

Año: 2017; p. 82 - 97

ARECES, CARLOS; FERVARI, RAUL; HOFFMANN, GUILLAUME; MARTEL, MAURICIO

Undecidability of Relation-Changing Modal Logics

Dynamic Logic. New Trends and Applications

Año: 2017; p. 1 - 16

ARECES, CARLOS; FERVARI, RAUL; SEILER, NAHUEL

Tableaux for Hybrid XPath with Data

Progress in Artificial Intelligence - Proceedings of 18th EPIA Conference on Artificial Intelligence

Año: 2017; p. 611 - 623

ARECES, CARLOS; FERVARI, RAUL

Hilbert-style Axiomatization for Hybrid XPath with Data

Logics in Artificial Intelligence (JELIA 2016)

Año: 2016; p. 34 - 48

FERVARI, RAUL

The Impact of Including Model Update Operators in Modal Logics

Pristine Perspectives on Logic, Language, and Computation - {ESSLLI} 2012 and {ESSLLI} 2013 Student Sessions. Selected Papers

Año: 2014; p. 91 - 108

ARECES, CARLOS; VAN DITMARSCH, HANS; FERVARI, RAUL; SCHWARZENTRUBER, FRANCOIS

Logics with Copy and Remove

Logic, Language, Information, and Computation - 21st International Workshop, WoLLIC 2014

Año: 2014; p. 51 - 65

ARECES, CARLOS; FERVARI, RAUL; HOFFMANN, GUILLAUME

Tableaux for Relation-Changing Modal Logics

Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013

Año: 2013; p. 263 - 278

ARECES, CARLOS; FERVARI, RAUL; HOFFMANN, GUILLAUME

Moving Arrows and Four Model Checking Results

Logic, Language, Information and Computation - 19th International Workshop, WoLLIC 2012

Año: 2012; p. 142 - 153