publications

2023.

• B. Bednarczyk, S. Demri, R. Fervari and A. Mansutti. On Composing Finite Forests with Modal Logics.

  ACM Transactions on Computational Logic (ToCL), Volume 24, Issue 2, Article No. 12, pp 1–46, 2023.

• V. Cassano, R. Fervari, C. Areces and P. F. Castro. Algebraic Tools for Default Modal Systems.

  Journal of Logic and Computation (JLC), volume 33, issue 6, pages 1301-1325, 2023.

• C. Areces, R. Fervari, A. R. Saravia and F. R. Velázquez-Quesada. Uncertainty-Based Knowing How Logic.

  Journal of Logic and Computation (JLC), 2023, in press.

• S. Demri and R. Fervari. Model-Checking for Ability-Based Logics with Constrained Plans.

  Proceedings of the 37th AAAI Conference on Artificial Intelligence (AAAI-23), volume 37, number 5, pages 6305-6312, 2023.

• C. Areces, V. Cassano, P. F. Castro, R. Fervari and A. R. Saravia. A Deontic Logic of Knowingly Complying.

  Proceedings of the 22nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2023), pages 364-372, ACM 2023.

• C. Areces, V. Cassano, R. Fervari, G. Hoffmann. DefTab: A Tableaux System for Sceptical Consequence in Default Modal Logics.

  In Proceedings of the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2023), volume 14278 of LNCS, pages 37-48, Springer 2023.

• C. Areces, V. Cassano, P. F. Castro, R. Fervari, A. R. Saravia. How Easy it is to Know How: An Upper Bound for the Satisfiability Problem.

  In Proceedings of the 18th European Conference on Logics in Artificial Intelligence (JELIA 2023), volume 14281 of LNCS, pages 405-419, Springer 2023.

• C. Areces, V. Cassano, D. Dutto, R. Fervari. Data Graphs with Incomplete Information (and a Way to Complete Them).

  In Proceedings of the 18th European Conference on Logics in Artificial Intelligence (JELIA 2023), volume 14281 of LNCS, pages 729-744, Springer 2023.

2022.

• R. Fervari, F. R. Velázquez-Quesada and Y. Wang. Bisimulations for Knowing How Logics.

  The Review of Symbolic Logic (RSL), volume 15, number 2, pages 450-486, 2022.

• R. Fervari and A. Mansutti. Modal Logics and Local Quantifiers: A Zoo in the Elementary Hierarchy.

  In Proceedings of 25th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2022), volume 13242 of LNCS, pages 305-324, Springer 2022.

• C. Areces, V. Cassano and R. Fervari. Non-monotonic Reasoning via Dynamic Consequence.

  In Logic, Language, Information and Computation (WoLLIC), volume 13468 of LNCS, pages 395–410. Springer 2022.

• C. Areces, R. Fervari, A. R. Saravia and F. R. Velázquez-Quesada. First Steps in Updating Knowing How.

  DaLí - Dynamic Logic: new trends and applications, Proceedings, LNCS, volume 13780, pages 1-16, 2022.

2021.

• C. Areces, H. van Ditmarsch, R. Fervari, B. Maubert and F. Schwarzentruber. Copy and Remove as Dynamic Operators.

  Journal of Applied Non-Classical Logics (JANCL), volume 31, number 3-4, pages 181-220, 2021.

• C. Areces and R. Fervari. Axiomatizing Hybrid XPath with Data.

  Logical Methods in Computer Science (LMCS), volume 17, issue 3, 2021.

• S. Demri, R. Fervari and A. Mansutti. Internal Proof Calculi for Modal Logics with Separating Conjunction.

  Journal of Logic and Computation (JLC), volume 31, issue 3, pages 832–891, 2021.

• R. Fervari, F. Trucco and B. Ziliani. Verification of Dynamic Bisimulation Theorems in Coq.

  Journal of Logical and Algebraic Methods in Programming (JLAMP), volume 120, article 100642, 2021.

• C. Areces, R. Fervari, A. R. Saravia and F. R. Velázquez-Quesada. Uncertainty-Based Semantics for Multi-Agent Knowing How Logics.

  In Proceedings of 18th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2021), pages 23-37, EPTCS 335, 2021.

• P. F. Castro, V. Cassano, R. Fervari and C. Areces. Deontic Action Logics via Algebra.

  In Proceedings of 15th International Conference on Deontic Logic and Normative Systems (DEON2020/2021), pages 77-93, College Publications, 2021.

2020.

• B. Bednarczyk, S. Demri, R. Fervari and A. Mansutti. Modal Logics with Composition on Finite Forests: Expressivity and Complexity.

  In Proceedings of the 35th Annual ACM/IEEE Symposium on Logic In Computer Science (LICS’20), 2020. IEEE Press, pages 167–180, 2020.

• V. Cassano, R. Fervari, C. Areces and P. F. Castro. Default Modal Systems as Algebraic Updates.

  DaLí - Dynamic Logic: new trends and applications, Proceedings, LNCS, volume 12569, pages 103-119, 2020.

2019.

• S. Demri and R. Fervari. The Power of Modal Separation Logics.

  Journal of Logic and Computation (JLC), volume 29, issue 8, pages 1139–1184, 2019.

• R. Fervari and F. R. Velázquez-Quesada. Introspection as an Action in Relational Models.

  Journal of Logical and Algebraic Methods in Programming (JLAMP), volume 108, pages 1-23, 2019.

• P. F. Castro, V. Cassano, R. Fervari and C. Areces. An Algebraic Approach for Action Based Default Reasoning.

  In Proceedings of 17th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2019), pages 91-105, EPTCS 297, 2019.

• V. Cassano, R. Fervari, G. Hoffmann, C. Areces and P. F. Castro. A Tableaux Calculus for Default Intuitionistic Logic.

  In Proceedings of 27th International Conference on Automated Deduction (CADE 2019), volume 11716 of LNCS, pages 161-177, Springer 2019.

• S. Demri, R. Fervari and A. Mansutti. Axiomatising Logics with Separating Conjunction and Modalities.

  In Proceedings of the 16th European Conference on Logics in Artificial Intelligence (JELIA 2019), volume 11468 of LNCS, pages 692-708, Springer 2019.

• V. Cassano, R. Fervari, C. Areces and P. F. Castro. Interpolation and Beth Definability in Default Logics.

  In Proceedings of the 16th European Conference on Logics in Artificial Intelligence (JELIA 2019), volume 11468 of LNCS, pages 675-691, Springer 2019.

• R. Fervari, F. Trucco and B. Ziliani. Mechanizing Bisimulation Theorems for Relation-Changing Logics in Coq.

  DaLı́ - Dynamic Logic: new trends and applications, Proceedings, LNCS, volume 12005, pages 3-18, 2019.

2018.

• C. Areces, R. Fervari, G. Hoffmann and M. Martel. Satisfiability for Relation-Changing Logics.

  Journal of Logic and Computation (JLC), volume 28, issue 7, pages 1443–1470, 2018.

• S. Demri and R. Fervari. On the Complexity of Modal Separation Logics.

  In Proceedings of Advances in Modal Logics AiML’18, pages 179-198, College Publications, 2018.

• V. Cassano, R. Fervari, C. Areces and P. F. Castro. Interpolation Results for Default Logic Over Modal Logic.

  In booklet of short papers of Advances in Modal Logics AiML’18, pages 21-25, 2018.

• C. Areces, L. Benotti, J. J. Cortez Sánchez, R. Fervari, E. García, M. Gómez, M.C. Martínez, C. M. Onetti, E.S. Rodríguez Pesce and N. Wolovick. Ciencias de la computación para el aula: 2do. ciclo de primaria.

  (Book in CS for elementary school, in spanish). Colihue, 2018. ISBN 978-987-27416-5-5.

2017.

• S. Abriola, M. E. Descotte, R. Fervari and S. Figueira. Axiomatizations for downward XPath on Data Trees.

  Journal of Computer and System Sciences (JCSS), volume 89, Pages 209–245, 2017.

• C. Areces, H. van Ditmarsch, R. Fervari and F. Schwarzentruber. The Modal Logic of Copy and Remove.

  Information and Computation (IC), volume 255, pages 243–261, 2017.

• R. Fervari, A. Herzig, Y. Li and Y. Wang. Strategically Knowing How.

  Proceedings of the 26th International Joint Conference on Artificial Intelligence IJCAI-17, pages 1031–1038, 2017.

• R. Fervari and F. R. Velázquez-Quesada. Dynamic Epistemic Logics of Introspection.

  DaLí - Dynamic Logic: new trends and applications, Proceedings, LNCS, volume 10669, pages 82–97, 2017.

• C. Areces, R. Fervari, G. Hoffmann and M. Martel. Undecidability of Relation-Changing Modal Logics.

  DaLí - Dynamic Logic: new trends and applications, Proceedings, LNCS, volume 10669, pages 1–16, 2017.

• C. Areces, R. Fervari and N. Seiler. Tableaux for Hybrid XPath with Data.

  In Progress in Artificial Intelligence - 18th EPIA Conference on Artificial Intelligence, EPIA 2017, LNCS, volume 10423, pages 611–623, Springer 2017.

• R. Fervari, F. R. Velázquez-Quesada and Y. Wang. Bisimulations for Knowing How Logics.

  In Proceedings of the 5th International Workshop on Strategic Reasoning (SR 2017), 2017.

2016.

• C. Areces and R. Fervari. Hilbert-Style Axiomatization for Hybrid XPath with Data.

  In Proceedings of the 15th European Conference on Logics in Artificial Intelligence (JELIA 2016), volume 10021 of LNCS, pages 34-48, Springer 2016.

• C. Areces, R. Fervari, G. Hoffmann and M. Martel. Relation-Changing Logics as Fragments of Hybrid Logics.

  In Proceedings of the 7th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2016), 2016.

2015.

• C. Areces, R. Fervari and G. Hoffmann. Relation-Changing Modal Operators.

  Logic Journal of IGPL, volume 23, number 4, pages 601–627, 2015.

2014.

• R. Fervari. Relation-Changing Modal Logics.

  Phd Thesis, Universidad Nacional de Córdoba, Argentina, 2014.

• C. Areces, R. Fervari and G. Hoffmann. Swap Logic.

  Logic Journal of IGPL, volume 22, number 2, pages 309–332, 2014.

• C. Areces, H. van Ditmarsch, R. Fervari and F. Schwarzentruber. Logics with Copy and Remove.

  In Logic, Language, Information and Computation (WoLLIC), volume 8652 of LNCS, pages 51–65. Springer 2014.

2013.

• C. Areces, R. Fervari and G. Hoffmann. Tableaux for Relation-Changing Modal Logics.

  In Proceedings of Frontiers of Combining Systems, volume 8152 of LNCS, pages 263–278. Springer, 2013.

• R. Fervari. The Impact of Including Model Update Operators in Modal Logics.

  In Pristine Perspectives on Logic, Language, and Computation - ESSLLI 2012 and ESSLLI 2013 Student Sessions. Selected Papers, volume 8607 of LNCS, pages 91–108. Springer 2013.

2012.

• C. Areces, R. Fervari and G. Hoffmann. Moving Arrows and Four Model Checking Results.

  In Logic, Language, Information and Computation (WoLLIC), volume 7456 of LNCS, pages 142–153. Springer 2012.