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

On Composing Finite Forests with Modal Logics

ACM TRANSACTIONS ON COMPUTATIONAL LOGIC; Lugar: New York - USA; Año: 2023

ARECES, CARLOS; FERVARI, RAUL; SARAVIA, ANDRÉS R; VELÁZQUEZ-QUESADA, FERNANDO R

Uncertainty-based knowing how logic

JOURNAL OF LOGIC AND COMPUTATION; Año: 2023

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

Bisimulations for Knowing How Logics

REVIEW OF SYMBOLIC LOGIC; Lugar: Cambridge; Año: 2022 vol. 15 p. 450 - 486

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

Algebraic Tools for Default Modal Systems

JOURNAL OF LOGIC AND COMPUTATION; Lugar: Oxford; Año: 2022

FERVARI, RAUL; TRUCCO, FRANCISCO; ZILIANI, BETA

Verification of Dynamic Bisimulation Theorems in Coq

Journal of Logical and Algebraic Methods in Programming; Año: 2021 vol. 120

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

Internal Proof Calculi for Modal Logics with Separating Conjunction

JOURNAL OF LOGIC AND COMPUTATION; Lugar: Oxford; Año: 2021 vol. 31 p. 832 - 891

ARECES, CARLOS; FERVARI, RAUL

Axiomatizing Hybrid XPath with Data

LOGICAL METHODS IN COMPUTER SCIENCE (LMCS); Lugar: BRAUNSCHWEIG; Año: 2021 vol. 17

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

Copy and Remove as Dynamic Operators

JOURNAL OF APPLIED NON-CLASSICAL LOGICS; Año: 2021 vol. 31 p. 181 - 220

DEMRI, STÉPHANE; FERVARI, RAUL

The Power of Modal Separation Logics

JOURNAL OF LOGIC AND COMPUTATION; Lugar: Oxford; Año: 2019

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

Introspection as an action in relational models

Journal of Logical and Algebraic Methods in Programming; Año: 2019 vol. 108 p. 1 - 23

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

Satisfiability for Relation-Changing Logics

JOURNAL OF LOGIC AND COMPUTATION; Lugar: Oxford; Año: 2018 vol. 28 p. 1443 - 1470

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

The Modal Logic of Copy and Remove

Information and Computation; Lugar: Amsterdam; Año: 2017 vol. 255 p. 243 - 261

ABRIOLA, SERGIO; DESCOTTE, MARÍA EMILIA; FERVARI, RAUL; FIGUEIRA, SANTIAGO

Axiomatizations for downward XPath on Data Trees

JOURNAL OF COMPUTER AND SYSTEM SCIENCES; Año: 2017

ARECES, CARLOS; FERVARI, RAUL; HOFFMANN, GUILLAUME

Relation-Changing Modal Operators

LOGIC JOURNAL OF THE IGPL (PRINT); Año: 2015

ARECES, CARLOS; FERVARI, RAUL; HOFFMANN, GUILLAUME

Swap Logic

LOGIC JOURNAL OF THE IGPL (PRINT); Lugar: Oxford; Año: 2012