Fervari, Raul

1. Axiomatizations for downward XPath on data trees
   2016/05/13 by Sergio Abriola, Abriola, Sergio, María Emilia Descotte +5 · 3 citations
   Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Logic, Reasoning, and Knowledge
2. Strategically knowing how
   2017/05/15 by Fervari, Raul, Herzig, Andreas, Li, Yanjun +1 · 2 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
3. Deontic Action Logics: A Modular Algebraic Perspective
   2025/02/19 by Carlos Areces, Valentín Cassano, Areces, Carlos +5 · 1 citation
   Computer Science · #Advanced Algebra and Logic #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems