generated by bibbase.org
  2024 (1)
Beyond the Spell: A Dynamic Logic Analysis of Misdirection. Icard, B., & Fervari, R. CoRR, abs/2401.14516. 2024.
Beyond the Spell: A Dynamic Logic Analysis of Misdirection [link]Paper   doi   link   bibtex  
  2023 (9)
Algebraic tools for default modal systems. Cassano, V., Fervari, R., Areces, C., & 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., & 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., & Fervari, R. In Williams, B., Chen, Y., & 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., & Saravia, A. R. In Agmon, N., An, B., Ricci, A., & 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., & Saravia, A. R. In Gaggl, S. A., Martinez, M. V., & 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., & Fervari, R. In Gaggl, S. A., Martinez, M. V., & 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., & Hoffmann, G. In Ramanayake, R., & 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., & Vel'azquez-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., & 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'azquez-Quesada, F. R., & 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., & Vel'azquez-Quesada, F. R. In Areces, C., & 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., & Mansutti, A. In Bouyer, P., & Schr"oder, 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., & Fervari, R. In Ciabattoni, A., Pimentel, E., & 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., & 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., & 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., & 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., & 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., & Areces, C. In Liu, F., Marra, A., Portner, P., & 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., & Vel'azquez-Quesada, F. R. In Halpern, J. Y., & 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., & Castro, P. F. In Martins, M. A., & Sedl'ar, 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., & Mansutti, A. In Hermanns, H., Zhang, L., Kobayashi, N., & Miller, D., editor(s), LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbr"ucken, 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., & 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., & 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., & Vel'azquez-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., & 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., & 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., & Castro, P. F. In Calimeri, F., Leone, N., & 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., & Mansutti, A. In Calimeri, F., Leone, N., & 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., & Ziliani, B. In Barbosa, L. S., & 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., & 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., & 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., & Fervari, R. In Bezhanishvili, G., D'Agostino, G., Metcalfe, G., & 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., & 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., & 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., & Seiler, N. In Oliveira, E. C., Gama, J., Vale, Z. A., & 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., & 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., & Martel, M. In Madeira, A., & 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., & Vel'azquez-Quesada, F. R. In Madeira, A., & 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., & 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., & Fervari, R. In Michael, L., & 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., & Martel, M. In Cantone, D., & 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., & 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., & 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., & 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., & Schwarzentruber, F. In Kohlenbach, U., Barcel'o, P., & 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., & 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., & Hoffmann, G. In Fontaine, P., Ringeissen, C., & 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., & Hoffmann, G. In Ong, C. L., & 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