generated by bibbase.org
  2026 (1)
Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops - ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers. Proença, J.; Fervari, R.; Martins, M. A.; Kahle, R.; and Pluck, G., editors. Volume 15551, of Lecture Notes in Computer Science.Springer. 2026.
Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops - ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers [link]Paper   doi   link   bibtex  
  2025 (9)
Data-Aware Hybrid Tableaux. Areces, C.; Cassano, V.; and Fervari, R. Log. Methods Comput. Sci., 21(4). 2025.
Data-Aware Hybrid Tableaux [link]Paper   doi   link   bibtex  
Uncertainty-based knowing how logic. Areces, C.; Fervari, R.; Saravia, A. R.; and Velázquez-Quesada, F. R. J. Log. Comput., 35(1): 1–35. 2025.
Uncertainty-based knowing how logic [link]Paper   doi   link   bibtex  
How Lucky Are You to Know Your Way? A Probabilistic Approach to Knowing How Logics. Castro, P. F.; D'Argenio, P. R.; and Fervari, R. In Ortiz, M.; Wassermann, R.; and Schaub, T., editor(s), Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, KR 2025, Melbourne, Australia, November 1-17, 2025, 2025.
How Lucky Are You to Know Your Way? A Probabilistic Approach to Knowing How Logics [link]Paper   doi   link   bibtex  
On the Effects of Adding Assignments in Linear-Time Temporal Logics Modulo Theories. Demri, S.; and Fervari, R. In Ortiz, M.; Wassermann, R.; and Schaub, T., editor(s), Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, KR 2025, Melbourne, Australia, November 1-17, 2025, 2025.
On the Effects of Adding Assignments in Linear-Time Temporal Logics Modulo Theories [link]Paper   doi   link   bibtex  
Knowing-How Reasoning with Budgets Recasted: Universal Reachability Problem on VASS. Demri, S.; Doyen, L.; and Fervari, R. In Ganty, P.; and Mansutti, A., editor(s), Reachability Problems - 19th International Conference, RP 2025, Madrid, Spain, October 1-3, 2025, Proceedings, of Lecture Notes in Computer Science, pages 140–155, 2025. Springer
Knowing-How Reasoning with Budgets Recasted: Universal Reachability Problem on VASS [link]Paper   doi   link   bibtex  
Graded Relation Updates in Modal Logic. Fervari, R.; Figueiredo, D.; and Martins, M. A. In Kozen, D.; and de Queiroz, R. J. G. B., editor(s), Logic, Language, Information, and Computation - 31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14-17, 2025, Proceedings, of Lecture Notes in Computer Science, pages 278–292, 2025. Springer
Graded Relation Updates in Modal Logic [link]Paper   doi   link   bibtex  
Sequent Calculi for Data-Aware Modal Logics. Areces, C.; Cassano, V.; Dutto, D.; and Fervari, R. In Barbosa, H.; and Ringeissen, C., editor(s), Proceedings Twentieth International Symposium on Logical and Semantic Frameworks with Applications, LSFA 2025, Brasilia, Brazil, October 7-8, 2025, of EPTCS, pages 8–25, October 2025.
Sequent Calculi for Data-Aware Modal Logics [link]Paper   doi   link   bibtex  
Deontic Action Logics: A Modular Algebraic Perspective. Areces, C.; Cassano, V.; Castro, P. F.; and Fervari, R. CoRR, abs/2502.13756. 2025.
Deontic Action Logics: A Modular Algebraic Perspective [link]Paper   doi   link   bibtex  
Sequent Calculi for Data-Aware Modal Logics. Areces, C.; Cassano, V.; Dutto, D.; and Fervari, R. CoRR, abs/2505.17240. 2025.
Sequent Calculi for Data-Aware Modal Logics [link]Paper   doi   link   bibtex  
  2024 (3)
Arbitrary Radical Upgrades. Fervari, R.; and Icard, B. In Proença, J.; Fervari, R.; Martins, M. A.; Kahle, R.; and Pluck, G., editor(s), Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops - ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers, of Lecture Notes in Computer Science, pages 36–49, 2024. Springer
Arbitrary Radical Upgrades [link]Paper   doi   link   bibtex  
Beyond the Spell: A Dynamic Logic Analysis of Misdirection. Icard, B.; and Fervari, R. CoRR, abs/2401.14516. 2024.
Beyond the Spell: A Dynamic Logic Analysis of Misdirection [link]Paper   doi   link   bibtex  
Data-Aware Hybrid Tableaux. Areces, C.; Cassano, V.; and Fervari, R. CoRR, abs/2406.12090. 2024.
Data-Aware Hybrid Tableaux [link]Paper   doi   link   bibtex  
  2023 (9)
Algebraic tools for default modal systems. Cassano, V.; Fervari, R.; Areces, C.; and Castro, P. F. J. Log. Comput., 33(6): 1301–1325. 2023.
Algebraic tools for default modal systems [link]Paper   doi   link   bibtex  
On Composing Finite Forests with Modal Logics. Bednarczyk, B.; Demri, S.; Fervari, R.; and Mansutti, A. ACM Trans. Comput. Log., 24(2): 12:1–12:46. 2023.
On Composing Finite Forests with Modal Logics [link]Paper   doi   link   bibtex  
Model-Checking for Ability-Based Logics with Constrained Plans. Demri, S.; and Fervari, R. In Williams, B.; Chen, Y.; and Neville, J., editor(s), Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, IAAI 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2023, Washington, DC, USA, February 7-14, 2023, pages 6305–6312, 2023. AAAI Press
Model-Checking for Ability-Based Logics with Constrained Plans [link]Paper   doi   link   bibtex  
A Deontic Logic of Knowingly Complying. Areces, C.; Cassano, V.; Castro, P. F.; Fervari, R.; and Saravia, A. R. In Agmon, N.; An, B.; Ricci, A.; and Yeoh, W., editor(s), Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2023, London, United Kingdom, 29 May 2023 - 2 June 2023, pages 364–372, 2023. ACM
A Deontic Logic of Knowingly Complying [link]Paper   doi   link   bibtex  
How Easy it is to Know How: An Upper Bound for the Satisfiability Problem. Areces, C.; Cassano, V.; Castro, P. F.; Fervari, R.; and Saravia, A. R. In Gaggl, S. A.; Martinez, M. V.; and Ortiz, M., editor(s), Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings, of Lecture Notes in Computer Science, pages 405–419, 2023. Springer
How Easy it is to Know How: An Upper Bound for the Satisfiability Problem [link]Paper   doi   link   bibtex  
Data Graphs with Incomplete Information (and a Way to Complete Them). Areces, C.; Cassano, V.; Dutto, D.; and Fervari, R. In Gaggl, S. A.; Martinez, M. V.; and Ortiz, M., editor(s), Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings, of Lecture Notes in Computer Science, pages 729–744, 2023. Springer
Data Graphs with Incomplete Information (and a Way to Complete Them) [link]Paper   doi   link   bibtex  
DefTab : A Tableaux System for Sceptical Consequence in Default Modal Logics. Areces, C.; Cassano, V.; Fervari, R.; and Hoffmann, G. In Ramanayake, R.; and Urban, J., editor(s), Automated Reasoning with Analytic Tableaux and Related Methods - 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings, of Lecture Notes in Computer Science, pages 37–48, 2023. Springer
DefTab : A Tableaux System for Sceptical Consequence in Default Modal Logics [link]Paper   doi   link   bibtex  
Uncertainty-Based Knowing How Logic. Areces, C.; Fervari, R.; Saravia, A. R.; and Velázquez-Quesada, F. R. CoRR, abs/2304.01022. 2023.
Uncertainty-Based Knowing How Logic [link]Paper   doi   link   bibtex  
How Easy it is to Know How: An Upper Bound for the Satisfiability Problem. Areces, C.; Cassano, V.; Fervari, R.; Castro, P. F.; and Saravia, A. R. CoRR, abs/2309.17094. 2023.
How Easy it is to Know How: An Upper Bound for the Satisfiability Problem [link]Paper   doi   link   bibtex  
  2022 (4)
Bisimulations for Knowing How Logics. Fervari, R.; Velázquez-Quesada, F. R.; and Wang, Y. Rev. Symb. Log., 15(2): 450–486. 2022.
Bisimulations for Knowing How Logics [link]Paper   doi   link   bibtex  
First Steps in Updating Knowing How. Areces, C.; Fervari, R.; Saravia, A. R.; and Velázquez-Quesada, F. R. In Areces, C.; and Costa, D., editor(s), Dynamic Logic. New Trends and Applications - 4th International Workshop, DaLí 2022, Haifa, Israel, July 31 - August 1, 2022, Revised Selected Papers, of Lecture Notes in Computer Science, pages 1–16, 2022. Springer
First Steps in Updating Knowing How [link]Paper   doi   link   bibtex  
Modal Logics and Local Quantifiers: A Zoo in the Elementary Hierarchy. Fervari, R.; and Mansutti, A. In Bouyer, P.; and Schröder, L., editor(s), Foundations of Software Science and Computation Structures - 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, of Lecture Notes in Computer Science, pages 305–324, 2022. Springer
Modal Logics and Local Quantifiers: A Zoo in the Elementary Hierarchy [link]Paper   doi   link   bibtex  
Non-monotonic Reasoning via Dynamic Consequence. Areces, C.; Cassano, V.; and Fervari, R. In Ciabattoni, A.; Pimentel, E.; and de Queiroz, R. J. G. B., editor(s), Logic, Language, Information, and Computation - 28th International Workshop, WoLLIC 2022, Iaşi, Romania, September 20-23, 2022, Proceedings, of Lecture Notes in Computer Science, pages 395–410, 2022. Springer
Non-monotonic Reasoning via Dynamic Consequence [link]Paper   doi   link   bibtex  
  2021 (6)
Copy and remove as dynamic operators. Areces, C.; van Ditmarsch, H.; Fervari, R.; Maubert, B.; and Schwarzentruber, F. J. Appl. Non Class. Logics, 31(3-4): 181–220. 2021.
Copy and remove as dynamic operators [link]Paper   doi   link   bibtex  
Verification of dynamic bisimulation theorems in Coq. Fervari, R.; Trucco, F.; and Ziliani, B. J. Log. Algebraic Methods Program., 120: 100642. 2021.
Verification of dynamic bisimulation theorems in Coq [link]Paper   doi   link   bibtex  
Axiomatizing Hybrid XPath with Data. Areces, C.; and Fervari, R. Log. Methods Comput. Sci., 17(3). 2021.
Axiomatizing Hybrid XPath with Data [link]Paper   doi   link   bibtex  
Internal proof calculi for modal logics with separating conjunction. Demri, S.; Fervari, R.; and Mansutti, A. J. Log. Comput., 31(3): 832–891. 2021.
Internal proof calculi for modal logics with separating conjunction [link]Paper   doi   link   bibtex  
Deontic Action Logics via Algebra. Castro, P. F.; Cassano, V.; Fervari, R.; and Areces, C. In Liu, F.; Marra, A.; Portner, P.; and Putte, F. V. D., editor(s), Deontic Logic and Normative Systems - 15th International Conference, DEON 2020/21, Munich, Germany [virtual], July 21-24, 2021, pages 77–93, 2021. College Publications
link   bibtex  
Uncertainty-Based Semantics for Multi-Agent Knowing How Logics. Areces, C.; Fervari, R.; Saravia, A. R.; and Velázquez-Quesada, F. R. In Halpern, J. Y.; and Perea, A., editor(s), Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2021, Beijing, China, June 25-27, 2021, of EPTCS, pages 23–37, 2021.
Uncertainty-Based Semantics for Multi-Agent Knowing How Logics [link]Paper   doi   link   bibtex  
  2020 (4)
Default Modal Systems as Algebraic Updates. Cassano, V.; Fervari, R.; Areces, C.; and Castro, P. F. In Martins, M. A.; and Sedlár, I., editor(s), Dynamic Logic. New Trends and Applications - Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Papers, of Lecture Notes in Computer Science, pages 103–119, 2020. Springer
Default Modal Systems as Algebraic Updates [link]Paper   doi   link   bibtex   2 downloads  
Modal Logics with Composition on Finite Forests: Expressivity and Complexity. Bednarczyk, B.; Demri, S.; Fervari, R.; and Mansutti, A. In Hermanns, H.; Zhang, L.; Kobayashi, N.; and Miller, D., editor(s), LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, July 8-11, 2020, pages 167–180, 2020. ACM
Modal Logics with Composition on Finite Forests: Expressivity and Complexity [link]Paper   doi   link   bibtex  
Axiomatizing Hybrid XPath with Data. Areces, C.; and Fervari, R. CoRR, abs/2004.00124. 2020.
Axiomatizing Hybrid XPath with Data [link]Paper   link   bibtex  
Modal Logics with Composition on Finite Forests: Expressivity and Complexity (Extra Material). Bednarczyk, B.; Demri, S.; Fervari, R.; and Mansutti, A. CoRR, abs/2007.08598. 2020.
Modal Logics with Composition on Finite Forests: Expressivity and Complexity (Extra Material) [link]Paper   link   bibtex  
  2019 (7)
Introspection as an action in relational models. Fervari, R.; and Velázquez-Quesada, F. R. J. Log. Algebraic Methods Program., 108: 1–23. 2019.
Introspection as an action in relational models [link]Paper   doi   link   bibtex  
The power of modal separation logics. Demri, S.; and Fervari, R. J. Log. Comput., 29(8): 1139–1184. 2019.
The power of modal separation logics [link]Paper   doi   link   bibtex  
A Tableaux Calculus for Default Intuitionistic Logic. Cassano, V.; Fervari, R.; Hoffmann, G.; Areces, C.; and Castro, P. F. In Fontaine, P., editor(s), Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings, of Lecture Notes in Computer Science, pages 161–177, 2019. Springer
A Tableaux Calculus for Default Intuitionistic Logic [link]Paper   doi   link   bibtex  
Interpolation and Beth Definability in Default Logics. Cassano, V.; Fervari, R.; Areces, C.; and Castro, P. F. In Calimeri, F.; Leone, N.; and Manna, M., editor(s), Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings, of Lecture Notes in Computer Science, pages 675–691, 2019. Springer
Interpolation and Beth Definability in Default Logics [link]Paper   doi   link   bibtex  
Axiomatising Logics with Separating Conjunction and Modalities. Demri, S.; Fervari, R.; and Mansutti, A. In Calimeri, F.; Leone, N.; and Manna, M., editor(s), Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings, of Lecture Notes in Computer Science, pages 692–708, 2019. Springer
Axiomatising Logics with Separating Conjunction and Modalities [link]Paper   doi   link   bibtex  
Mechanizing Bisimulation Theorems for Relation-Changing Logics in Coq. Fervari, R.; Trucco, F.; and Ziliani, B. In Barbosa, L. S.; and Baltag, A., editor(s), Dynamic Logic. New Trends and Applications - Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings, of Lecture Notes in Computer Science, pages 3–18, 2019. Springer
Mechanizing Bisimulation Theorems for Relation-Changing Logics in Coq [link]Paper   doi   link   bibtex  
An Algebraic Approach for Action Based Default Reasoning. Castro, P. F.; Cassano, V.; Fervari, R.; and Areces, C. In Moss, L. S., editor(s), Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2019, Toulouse, France, 17-19 July 2019, of EPTCS, pages 91–105, 2019.
An Algebraic Approach for Action Based Default Reasoning [link]Paper   doi   link   bibtex  
  2018 (2)
Satisfiability for relation-changing logics. Areces, C.; Fervari, R.; Hoffmann, G.; and Martel, M. J. Log. Comput., 28(7): 1443–1470. 2018.
Satisfiability for relation-changing logics [link]Paper   doi   link   bibtex  
On the Complexity of Modal Separation Logics. Demri, S.; and Fervari, R. In Bezhanishvili, G.; D'Agostino, G.; Metcalfe, G.; and Studer, T., editor(s), Advances in Modal Logic 12, proceedings of the 12th conference on "Advances in Modal Logic," held in Bern, Switzerland, August 27-31, 2018, pages 179–198, 2018. College Publications
On the Complexity of Modal Separation Logics [pdf]Paper   link   bibtex  
  2017 (7)
The modal logic of copy and remove. Areces, C.; van Ditmarsch, H.; Fervari, R.; and Schwarzentruber, F. Inf. Comput., 255: 243–261. 2017.
The modal logic of copy and remove [link]Paper   doi   link   bibtex  
Axiomatizations for downward XPath on data trees. Abriola, S.; Descotte, M. E.; Fervari, R.; and Figueira, S. J. Comput. Syst. Sci., 89: 209–245. 2017.
Axiomatizations for downward XPath on data trees [link]Paper   doi   link   bibtex  
Tableaux for Hybrid XPath with Data. Areces, C.; Fervari, R.; and Seiler, N. In Oliveira, E. C.; Gama, J.; Vale, Z. A.; and Cardoso, H. L., editor(s), Progress in Artificial Intelligence - 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, September 5-8, 2017, Proceedings, of Lecture Notes in Computer Science, pages 611–623, 2017. Springer
Tableaux for Hybrid XPath with Data [link]Paper   doi   link   bibtex  
Strategically knowing how. Fervari, R.; Herzig, A.; Li, Y.; and Wang, Y. In Sierra, C., editor(s), Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017, pages 1031–1038, 2017. ijcai.org
Strategically knowing how [link]Paper   doi   link   bibtex  
Undecidability of Relation-Changing Modal Logics. Areces, C.; Fervari, R.; Hoffmann, G.; and Martel, M. In Madeira, A.; and Benevides, M. R. F., editor(s), Dynamic Logic. New Trends and Applications - First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings, of Lecture Notes in Computer Science, pages 1–16, 2017. Springer
Undecidability of Relation-Changing Modal Logics [link]Paper   doi   link   bibtex  
Dynamic Epistemic Logics of Introspection. Fervari, R.; and Velázquez-Quesada, F. R. In Madeira, A.; and Benevides, M. R. F., editor(s), Dynamic Logic. New Trends and Applications - First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings, of Lecture Notes in Computer Science, pages 82–97, 2017. Springer
Dynamic Epistemic Logics of Introspection [link]Paper   doi   link   bibtex  
Strategically knowing how. Fervari, R.; Herzig, A.; Li, Y.; and Wang, Y. CoRR, abs/1705.05254. 2017.
Strategically knowing how [link]Paper   link   bibtex  
  2016 (3)
Hilbert-Style Axiomatization for Hybrid XPath with Data. Areces, C.; and Fervari, R. In Michael, L.; and Kakas, A. C., editor(s), Logics in Artificial Intelligence - 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings, of Lecture Notes in Computer Science, pages 34–48, 2016.
Hilbert-Style Axiomatization for Hybrid XPath with Data [link]Paper   doi   link   bibtex  
Relation-Changing Logics as Fragments of Hybrid Logics. Areces, C.; Fervari, R.; Hoffmann, G.; and Martel, M. In Cantone, D.; and Delzanno, G., editor(s), Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016, of EPTCS, pages 16–29, 2016.
Relation-Changing Logics as Fragments of Hybrid Logics [link]Paper   doi   link   bibtex  
Axiomatizations for downward XPath on Data Trees. Abriola, S.; Descotte, M. E.; Fervari, R.; and Figueira, S. CoRR, abs/1605.04271. 2016.
Axiomatizations for downward XPath on Data Trees [link]Paper   link   bibtex  
  2015 (1)
Relation-changing modal operators. Areces, C.; Fervari, R.; and Hoffmann, G. Log. J. IGPL, 23(4): 601–627. 2015.
Relation-changing modal operators [link]Paper   doi   link   bibtex  
  2014 (2)
Swap logic. Areces, C.; Fervari, R.; and Hoffmann, G. Log. J. IGPL, 22(2): 309–332. 2014.
Swap logic [link]Paper   doi   link   bibtex  
Logics with Copy and Remove. Areces, C.; van Ditmarsch, H.; Fervari, R.; and Schwarzentruber, F. In Kohlenbach, U.; Barceló, P.; and de Queiroz, R. J. G. B., editor(s), Logic, Language, Information, and Computation - 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings, of Lecture Notes in Computer Science, pages 51–65, 2014. Springer
Logics with Copy and Remove [link]Paper   doi   link   bibtex  
  2013 (2)
The Impact of Including Model Update Operators in Modal Logics. Fervari, R. In Colinet, M.; Katrenko, S.; and Rendsvig, R. K., editor(s), Pristine Perspectives on Logic, Language, and Computation - ESSLLI 2012 and ESSLLI 2013 Student Sessions. Selected Papers, of Lecture Notes in Computer Science, pages 91–108, 2013. Springer
The Impact of Including Model Update Operators in Modal Logics [link]Paper   doi   link   bibtex  
Tableaux for Relation-Changing Modal Logics. Areces, C.; Fervari, R.; and Hoffmann, G. In Fontaine, P.; Ringeissen, C.; and Schmidt, R. A., editor(s), Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings, of Lecture Notes in Computer Science, pages 263–278, 2013. Springer
Tableaux for Relation-Changing Modal Logics [link]Paper   doi   link   bibtex  
  2012 (1)
Moving Arrows and Four Model Checking Results. Areces, C.; Fervari, R.; and Hoffmann, G. In Ong, C. L.; and de Queiroz, R. J. G. B., editor(s), Logic, Language, Information and Computation - 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings, of Lecture Notes in Computer Science, pages 142–153, 2012. Springer
Moving Arrows and Four Model Checking Results [link]Paper   doi   link   bibtex