Some modal aspects of XPath (Q2901192): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.3166/jancl.20.139-171
+Normal rank
@@ Property / OpenAlex ID @@
+W2106724495
@@ Property / OpenAlex ID: W2106724495 / rank @@
+Normal rank
@@ Property / cites work @@
+On modal \(\mu \)-calculus and Gödel-Löb logic
@@ Property / cites work: On modal \(\mu \)-calculus and Gödel-Löb logic / rank @@
+Normal rank
@@ Property / cites work @@
+XPath satisfiability in the presence of DTDs
@@ Property / cites work: XPath satisfiability in the presence of DTDs / rank @@
+Normal rank
@@ Property / cites work @@
+Structural properties of XPath fragments
@@ Property / cites work: Structural properties of XPath fragments / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing EF and EX tree logics
@@ Property / cites work: Characterizing EF and EX tree logics / rank @@
+Normal rank
@@ Property / cites work @@
+Modal characterisation theorems over special classes of frames
+Normal rank
@@ Property / cites work @@
+First-order logic with two variables and unary temporal logic
+Normal rank
@@ Property / cites work @@
+Normal forms in modal logic
@@ Property / cites work: Normal forms in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of regular programs
@@ Property / cites work: Propositional dynamic logic of regular programs / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic theory of normal forms
@@ Property / cites work: An algebraic theory of normal forms / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773852
@@ Property / cites work: Q3773852 / rank @@
+Normal rank
@@ Property / cites work @@
+Conjunctive queries over trees
@@ Property / cites work: Conjunctive queries over trees / rank @@
+Normal rank
@@ Property / cites work @@
+An equational axiomatization of dynamic negation and relational composition
+Normal rank
@@ Property / cites work @@
+A completeness theorem for Kleene algebras and the algebra of regular events
+Normal rank
@@ Property / cites work @@
+Past is for free: On the complexity of verifying linear temporal properties with past
+Normal rank
@@ Property / cites work @@
+Finite models constructed from canonical formulas
@@ Property / cites work: Finite models constructed from canonical formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic algebras: Examples, constructions, applications
+Normal rank
@@ Property / cites work @@
+An axiomatization for until and since over the reals without the IRR rule
+Normal rank
@@ Property / cites work @@
+The complexity of propositional linear temporal logics
+Normal rank
@@ Property / cites work @@
+Complete axiomatizations for XPath fragments
@@ Property / cites work: Complete axiomatizations for XPath fragments / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of query containment in expressive fragments of XPath 2.0
+Normal rank
@@ Property / cites work @@
+Axiomatizing the logical core of XPath 2.0
@@ Property / cites work: Axiomatizing the logical core of XPath 2.0 / rank @@
+Normal rank
@@ Property / cites work @@
+Program constructions that are safe for bisimulation
+Normal rank
@@ Property / cites work @@
+Modal frame correspondences and fixed-points
@@ Property / cites work: Modal frame correspondences and fixed-points / rank @@
+Normal rank
@@ Property / cites work @@
+A note on the characterization of TL [EF]
@@ Property / cites work: A note on the characterization of TL [EF] / rank @@
+Normal rank