generated by bibbase.org
  2021 (3)
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  
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  
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  
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