generated by bibbase.org
  2024 (2)
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, volume 14281, 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, volume 14281, 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, volume 14278, 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, volume 13780, 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, volume 13242, 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, volume 13468, 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, volume 335, 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, volume 12569, 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, volume 11716, 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, volume 11468, 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, volume 11468, 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, volume 12005, 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, volume 297, 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, volume 10423, 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, volume 10669, 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, volume 10669, 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, volume 10021, 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, volume 226, 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, volume 8652, 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, volume 8607, 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, volume 8152, 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, volume 7456, of Lecture Notes in Computer Science, pages 142–153, 2012. Springer
Moving Arrows and Four Model Checking Results [link]Paper   doi   link   bibtex