Santiago Figueira

1. Axiomatizations for downward XPath on data trees
   2017/06/14 by Sergio Abriola, María Emilia Descotte, Raul Fervari +1 · 2 citations
   Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Logic, Reasoning, and Knowledge
2. Guarded Negation Transitive Closure Logic
   2025/01/25 by Diego Figueira, Nakamura, Yoshiki, Santiago Figueira +1 · 1 citation
   #cs.LO #cs.DB
3. Basic Model Theory for Path Predicate Modal Logic
   2026/07/18 by Raul Fervari, Santiago Figueira, Gabriel Goren-Roig +1
   Computer Science · #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies #Logic, programming, and type systems