排序方式: 共有3条查询结果,搜索用时 15 毫秒
1
1.
We provide complete axiomatizations for several fragments of Core XPath, the navigational core of XPath 1.0 introduced by Gottlob, Koch and Pichler. A complete axiomatization for a given fragment is a set of equivalences from which every other valid equivalence is derivable; equivalences can be thought of as (undirected) rewrite rules. Specifically, we axiomatize single axis fragments of Core XPath as well as full Core XPath. Our completeness proofs use results and techniques from modal logic. 相似文献
2.
Balder ten Cate 《Journal of Philosophical Logic》2006,35(2):209-223
We consider second-order propositional modal logic (SOPML), an extension of the basic modal language with propositional quantifiers
introduced by Kit Fine in 1970. We determine the precise expressive power of SOPML by giving analogues of the Van Benthem–Rosen
theorem and the Goldblatt Thomason theorem. Furthermore, we show that the basic modal language is the bisimulation invariant
fragment of SOPML, and we characterize the bounded fragment of first-order logic as being the intersection of first-order
logic and SOPML. 相似文献
3.
Hybrid logics with Sahlqvist axioms 总被引:3,自引:0,他引:3
1