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

paper · doi:10.1016/j.jcss.2017.05.008

Cited by

• Basic Model Theory for Path Predicate Modal Logic
• Sequent Calculi for Data-Aware Modal Logics