The following pages link to Maarten Marx (Q190281):
Displaying 49 items.
- Containment of acyclic conjunctive queries with negated atoms or arithmetic comparisons (Q506166) (← links)
- Complete axiomatizations for XPath fragments (Q975868) (← links)
- Multi-dimensional modal logic (Q1379287) (← links)
- Repairing the interpolation theorem in quantified modal logic (Q1412840) (← links)
- Interpolation and definability in guarded fragments (Q1604801) (← links)
- Remarks on Gregory's ``actually'' operator (Q1610620) (← links)
- All proper normal extensions of S5-square have the polynomial size model property (Q1810814) (← links)
- Computing with cylindric modal logics and arrow logics, lower bounds (Q1863830) (← links)
- An elementary construction for a non-elementary procedure (Q1863831) (← links)
- Amalgamation in finite dimensional cylindric algebras (Q1866797) (← links)
- Taming logic (Q1909607) (← links)
- Multi-dimensional semantics for modal logics (Q1924325) (← links)
- Relation algebras can tile (Q1961863) (← links)
- Axiomatizing the logical core of XPath 2.0 (Q2272223) (← links)
- The semijoin algebra and the guarded fragment (Q2567344) (← links)
- (Q2701985) (← links)
- Products, or how to create modal logics of high complexity (Q2708309) (← links)
- (Q2721205) (← links)
- Hybrid logics: characterization, interpolation and complexity (Q2758042) (← links)
- Relation Algebra with Binders (Q2772881) (← links)
- Containment for Conditional Tree Patterns (Q2941752) (← links)
- Constructive interpolation in hybrid logic (Q3160549) (← links)
- (Q3396578) (← links)
- Logical Foundations of XML and XQuery (Q3638998) (← links)
- PDL for ordered trees (Q3647225) (← links)
- Amalgamation in relation algebras (Q4212916) (← links)
- (Q4215599) (← links)
- Complexity of products of modal logics (Q4242586) (← links)
- (Q4250042) (← links)
- (Q4250364) (← links)
- Undecidable relativizations of algebras of relations (Q4262581) (← links)
- (Q4349280) (← links)
- (Q4349283) (← links)
- (Q4412850) (← links)
- (Q4427189) (← links)
- The computational complexity of hybrid temporal logics (Q4511543) (← links)
- (Q4736477) (← links)
- (Q4739533) (← links)
- Tableau calculus for local cubic modal logic and its implementation (Q4934884) (← links)
- (Q4938431) (← links)
- Undecidability of compass logic (Q4943504) (← links)
- (Q4945233) (← links)
- Decidability of cylindric set algebras of dimension two and first-order logic with two variables (Q4948527) (← links)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5187865) (← links)
- Database Theory - ICDT 2005 (Q5316620) (← links)
- Computer Science Logic (Q5394564) (← links)
- Hybrid logics with Sahlqvist axioms (Q5697717) (← links)
- Failure of interpolation in combined modal logics (Q5937819) (← links)
- Tolerance logic (Q5939956) (← links)
