Moving Arrows and Four Model Checking Results. - Carlos Areces; Raul Fervari; Guillaume Hoffmann 001 (WoLLIC, 2012)

The Impact of Including Model Update Operators in Modal Logics. - Raul Fervari (ESSLLI Student Sessions, 2013)

Tableaux for Relation-Changing Modal Logics. - Carlos Areces; Raul Fervari; Guillaume Hoffmann 001 (FroCos, 2013)

Logics with Copy and Remove. - Carlos Areces; Hans van Ditmarsch; Raul Fervari; François Schwarzentruber (WoLLIC, 2014)

Swap logic. - Carlos Areces; Raul Fervari; Guillaume Hoffmann 001 (Log. J. IGPL, 2014)

Relation-changing modal operators. - Carlos Areces; Raul Fervari; Guillaume Hoffmann 001 (Log. J. IGPL, 2015)

Hilbert-Style Axiomatization for Hybrid XPath with Data. - Carlos Areces; Raul Fervari (JELIA, 2016)

Relation-Changing Logics as Fragments of Hybrid Logics. - Carlos Areces; Raul Fervari; Guillaume Hoffmann 001; Mauricio Martel (GandALF, 2016)

Tableaux for Hybrid XPath with Data. - Carlos Areces; Raul Fervari; Nahuel Seiler (EPIA, 2017)

Strategically knowing how. - Raul Fervari; Andreas Herzig; Yanjun Li; Yanjing Wang 001 (IJCAI, 2017)

Undecidability of Relation-Changing Modal Logics. - Carlos Areces; Raul Fervari; Guillaume Hoffmann 001; Mauricio Martel (DALI@TABLEAUX, 2017)

Dynamic Epistemic Logics of Introspection. - Raul Fervari; Fernando R. Velázquez-Quesada (DALI@TABLEAUX, 2017)

The modal logic of copy and remove. - Carlos Areces; Hans van Ditmarsch; Raul Fervari; François Schwarzentruber (Inf. Comput., 2017)

Axiomatizations for downward XPath on data trees. - Sergio Abriola; María Emilia Descotte; Raul Fervari; Santiago Figueira (J. Comput. Syst. Sci., 2017)

On the Complexity of Modal Separation Logics. - Stéphane Demri; Raul Fervari (Advances in Modal Logic, 2018)

Satisfiability for relation-changing logics. - Carlos Areces; Raul Fervari; Guillaume Hoffmann 001; Mauricio Martel (J. Log. Comput., 2018)

A Tableaux Calculus for Default Intuitionistic Logic. - Valentin Cassano; Raul Fervari; Guillaume Hoffmann 001; Carlos Areces; Pablo F. Castro (CADE, 2019)

Interpolation and Beth Definability in Default Logics. - Valentin Cassano; Raul Fervari; Carlos Areces; Pablo F. Castro (JELIA, 2019)

Axiomatising Logics with Separating Conjunction and Modalities. - Stéphane Demri; Raul Fervari; Alessio Mansutti (JELIA, 2019)

Mechanizing Bisimulation Theorems for Relation-Changing Logics in Coq. - Raul Fervari; Francisco Trucco; Beta Ziliani (DaLí, 2019)

An Algebraic Approach for Action Based Default Reasoning. - Pablo F. Castro; Valentin Cassano; Raul Fervari; Carlos Areces (TARK, 2019)

Introspection as an action in relational models. - Raul Fervari; Fernando R. Velázquez-Quesada (J. Log. Algebraic Methods Program., 2019)

The power of modal separation logics. - Stéphane Demri; Raul Fervari (J. Log. Comput., 2019)

Default Modal Systems as Algebraic Updates. - Valentin Cassano; Raul Fervari; Carlos Areces; Pablo F. Castro (DaLí, 2020)

Modal Logics with Composition on Finite Forests: Expressivity and Complexity. - Bartosz Bednarczyk; Stéphane Demri; Raul Fervari; Alessio Mansutti (LICS, 2020)

Modal Logics with Composition on Finite Forests: Expressivity and Complexity (Extra Material). - Bartosz Bednarczyk; Stéphane Demri; Raul Fervari; Alessio Mansutti (CoRR, 2020)

Deontic Action Logics via Algebra. - Pablo F. Castro; Valentin Cassano; Raul Fervari; Carlos Areces (DEON, 2021)

Uncertainty-Based Semantics for Multi-Agent Knowing How Logics. - Carlos Areces; Raul Fervari; Andrés R. Saravia; Fernando R. Velázquez-Quesada (TARK, 2021)

Copy and remove as dynamic operators. - Carlos Areces; Hans van Ditmarsch; Raul Fervari; Bastien Maubert; François Schwarzentruber (J. Appl. Non Class. Logics, 2021)

Verification of dynamic bisimulation theorems in Coq. - Raul Fervari; Francisco Trucco; Beta Ziliani (J. Log. Algebraic Methods Program., 2021)

Axiomatizing Hybrid XPath with Data. - Carlos Areces; Raul Fervari (Log. Methods Comput. Sci., 2021)

Internal proof calculi for modal logics with separating conjunction. - Stéphane Demri; Raul Fervari; Alessio Mansutti (J. Log. Comput., 2021)

First Steps in Updating Knowing How. - Carlos Areces; Raul Fervari; Andrés R. Saravia; Fernando R. Velázquez-Quesada (DaLí, 2022)

Modal Logics and Local Quantifiers: A Zoo in the Elementary Hierarchy. - Raul Fervari; Alessio Mansutti (FoSSaCS, 2022)

Non-monotonic Reasoning via Dynamic Consequence. - Carlos Areces; Valentin Cassano; Raul Fervari (WoLLIC, 2022)

Bisimulations for Knowing How Logics. - Raul Fervari; Fernando R. Velázquez-Quesada; Yanjing Wang 001 (Rev. Symb. Log., 2022)

Model-Checking for Ability-Based Logics with Constrained Plans. - Stéphane Demri; Raul Fervari (AAAI, 2023)

A Deontic Logic of Knowingly Complying. - Carlos Areces; Valentin Cassano; Pablo F. Castro; Raul Fervari; Andrés R. Saravia (AAMAS, 2023)

How Easy it is to Know How: An Upper Bound for the Satisfiability Problem. - Carlos Areces; Valentin Cassano; Pablo F. Castro; Raul Fervari; Andrés R. Saravia (JELIA, 2023)

Data Graphs with Incomplete Information (and a Way to Complete Them). - Carlos Areces; Valentin Cassano; Danae Dutto; Raul Fervari (JELIA, 2023)

DefTab : A Tableaux System for Sceptical Consequence in Default Modal Logics. - Carlos Areces; Valentin Cassano; Raul Fervari; Guillaume Hoffmann 001 (TABLEAUX, 2023)

On Composing Finite Forests with Modal Logics. - Bartosz Bednarczyk; Stéphane Demri; Raul Fervari; Alessio Mansutti (ACM Trans. Comput. Log., 2023)

Algebraic tools for default modal systems. - Valentin Cassano; Raul Fervari; Carlos Areces; Pablo F. Castro (J. Log. Comput., 2023)

Arbitrary Radical Upgrades. - Raul Fervari; Benjamin Icard (SEFM, 2024)

Beyond the Spell: A Dynamic Logic Analysis of Misdirection. - Benjamin Icard; Raul Fervari (CoRR, 2024)

Data-Aware Hybrid Tableaux. - Carlos Areces; Valentin Cassano; Raul Fervari (CoRR, 2024)

Graded Relation Updates in Modal Logic. - Raul Fervari; Daniel Figueiredo 001; Manuel A. Martins 001 (WoLLIC, 2025)

Uncertainty-based knowing how logic. - Carlos Areces; Raul Fervari; Andrés R. Saravia; Fernando R. Velázquez-Quesada (J. Log. Comput., 2025)

Deontic Action Logics: A Modular Algebraic Perspective. - Carlos Areces; Valentin Cassano; Pablo F. Castro; Raul Fervari (CoRR, 2025)

Sequent Calculi for Data-Aware Modal Logics. - Carlos Areces; Valentin Cassano; Danae Dutto; Raul Fervari (CoRR, 2025)