13 citations · 37 across the 11 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.LO2020
Modal Logics with Composition on Finite Forests: Expressivity and Complexity (Extra Material)
Bartosz Bednarczyk, Stéphane Demri, Raul Fervari +1
We investigate the expressivity and computational complexity of two modal logics on finite forests equipped with operators to reason on submodels. The logic ML(|) extends the basic…
cs.LO2020
Axiomatizing Hybrid XPath with Data
Carlos Areces, Raul Fervari
In this paper we introduce sound and strongly complete axiomatizations for XPath with data constraints extended with hybrid operators. First, we present HXPath=, a multi-modal vers…