Results for 'Marx Maarten'

1000+ found
Order:
  1.  28
    Multi-Dimensional Modal Logic.Maarten Marx - 1997 - Kluwer Academic Publishers.
    Over the last twenty years, in all of these neighbouring fields, modal systems have been developed that we call multi-dimensional. (Our definition of multi ...
    Direct download  
     
    Export citation  
     
    Bookmark   22 citations  
  2.  58
    Hybrid Logics: Characterization, Interpolation and Complexity.Carlos Areces, Patrick Blackburn & Maarten Marx - 2001 - Journal of Symbolic Logic 66 (3):977-1010.
    Hybrid languages are expansions of propositional modal languages which can refer to worlds. The use of strong hybrid languages dates back to at least [Pri67], but recent work has focussed on a more constrained system called $\mathscr{H}$. We show in detail that $\mathscr{H}$ is modally natural. We begin by studying its expressivity, and provide model theoretic characterizations and a syntactic characterization. The key result to emerge is that $\mathscr{H}$ corresponds to the fragment of first-order logic which is invariant for generated (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  3.  27
    Repairing the Interpolation Theorem in Quantified Modal Logic.Carlos Areces, Patrick Blackburn & Maarten Marx - 2003 - Annals of Pure and Applied Logic 124 (1-3):287-299.
    Quantified hybrid logic is quantified modal logic extended with apparatus for naming states and asserting that a formula is true at a named state. While interpolation and Beth's definability theorem fail in a number of well-known quantified modal logics , their counterparts in quantified hybrid logic have these properties. These are special cases of the main result of the paper: the quantified hybrid logic of any class of frames definable in the bounded fragment of first-order logic has the interpolation property, (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  4.  84
    PDL for Ordered Trees.Loredana Afanasiev, Patrick Blackburn, Ioanna Dimitriou, Bertrand Gaiffe, Evan Goris, Maarten Marx & Maarten de Rijke - 2005 - Journal of Applied Non-Classical Logics 15 (2):115-135.
    This paper is about a special version of PDL, proposed by Marcus Kracht, for reasoning about sibling ordered trees. It has four basic programs corresponding to the child, parent, left- and right-sibling relations in such trees. The original motivation for this language is rooted in the field of model-theoretic syntax. Motivated by recent developments in the area of semi-structured data, and, especially, in the field of query languages for XML documents, we revisit the language. This renewed interest comes with a (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  5. Multi-Dimensional Modal Logic.Maarten Marx & Yde Venema - 2000 - Studia Logica 65 (2):278-282.
     
    Export citation  
     
    Bookmark   10 citations  
  6.  12
    Tolerance Logic.Maarten Marx - 2001 - Journal of Logic, Language and Information 10 (3):353-374.
    We expand first order models with a tolerance relation on thedomain. Intuitively, two elements stand in this relation if they arecognitively close for the agent who holds the model. This simplenotion turns out to be very powerful. It leads to a semanticcharacterization of the guarded fragment of Andréka, van Benthemand Németi, and highlights the strong analogies between modallogic and this fragment. Viewing the resulting logic – tolerance logic– dynamically it is a resource-conscious information processingalternative to classical first order logic. The (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  7. Remarks on Gregory's “Actually” Operator.Patrick Blackburn & Maarten Marx - 2002 - Journal of Philosophical Logic 31 (3):281-288.
    In this note we show that the classical modal technology of Sahlqvist formulas gives quick proofs of the completeness theorems in [8] (D. Gregory, Completeness and decidability results for some propositional modal logics containing "actually" operators, Journal of Philosophical Logic 30(1): 57-78, 2001) and vastly generalizes them. Moreover, as a corollary, interpolation theorems for the logics considered in [8] are obtained. We then compare Gregory's modal language enriched with an "actually" operator with the work of Arthur Prior now known under (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  8.  9
    Multi-Dimensional Modal Logic.Maarten Marx & Yde Venema - 2000 - Bulletin of Symbolic Logic 6 (4):490-495.
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  9.  11
    Hybrid Logics with Sahlqvist Axioms.Balder Cate, Maarten Marx & Petrúcio Viana - 2005 - Logic Journal of the IGPL 13 (3):293-300.
    We show that every extension of the basic hybrid logic with modal Sahlqvist axioms is complete. As a corollary of our approach, we also obtain the Beth property for a large class of hybrid logics. Finally, we show that the new completeness result cannot be combined with the existing general completeness result for pure axioms.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  10.  69
    All Proper Normal Extensions of S5-Square Have the Polynomial Size Model Property.Nick Bezhanishvili & Maarten Marx - 2003 - Studia Logica 73 (3):367 - 382.
    We show that every proper normal extension of the bi-modal system S5 2 has the poly-size model property. In fact, to every proper normal extension L of S5 2 corresponds a natural number b(L) - the bound of L. For every L, there exists a polynomial P(·) of degree b(L) + 1 such that every L-consistent formula is satisfiable on an L-frame whose universe is bounded by P(||), where || denotes the number of subformulas of . It is shown that (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  11.  39
    Constructive Interpolation in Hybrid Logic.Patrick Blackburn & Maarten Marx - 2003 - Journal of Symbolic Logic 68 (2):463-480.
    Craig's interpolation lemma (if φ → ψ is valid, then φ → θ and θ → ψ are valid, for θ a formula constructed using only primitive symbols which occur both in φ and ψ) fails for many propositional and first order modal logics. The interpolation property is often regarded as a sign of well-matched syntax and semantics. Hybrid logicians claim that modal logic is missing important syntactic machinery, namely tools for referring to worlds, and that adding such machinery solves (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  12.  7
    Interpolation and Definability in Guarded Fragments.Eva Hoogland & Maarten Marx - 2002 - Studia Logica 70 (3):373-409.
    The guarded fragment was introduced by Andréka, van Benthem and Németi as a fragment of first order logic which combines a great expressive power with nice, modal behavior. It consists of relational first order formulas whose quantifiers are relativized by atoms in a certain way. Slightly generalizing the admissible relativizations yields the packed fragment. In this paper we investigate interpolation and definability in these fragments. We first show that the interpolation property of first order logic fails in restriction to GF (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  13.  23
    Interpolation and Definability in Guarded Fragments.Eva Hoogland & Maarten Marx - 2002 - Studia Logica 70 (3):373 - 409.
    The guarded fragment (GF) was introduced by Andréka, van Benthem and Németi as a fragment of first order logic which combines a great expressive power with nice, modal behavior. It consists of relational first order formulas whose quantifiers are relativized by atoms in a certain way. Slightly generalizing the admissible relativizations yields the packed fragment (PF). In this paper we investigate interpolation and definability in these fragments. We first show that the interpolation property of first order logic fails in restriction (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  14. Decidability of Cylindric Set Algebras of Dimension Two and First-Order Logic with Two Variables.Maarten Marx & Szabolcs Mikulás - 1999 - Journal of Symbolic Logic 64 (4):1563-1572.
    The aim of this paper is to give a new proof for the decidability and finite model property of first-order logic with two variables (without function symbols), using a combinatorial theorem due to Herwig. The results are proved in the framework of polyadic equality set algebras of dimension two (Pse 2 ). The new proof also shows the known results that the universal theory of Pse 2 is decidable and that every finite Pse 2 can be represented on a finite (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  15. Arrow Logic and Multi-Modal Logic.Maarten Marx, Michael Masuch & László Pólos - 1996
  16.  9
    All Proper Normal Extensions of S5-Square Have the Polynomial Size Model Property.Nick Bezhanishvili & Maarten Marx - 2003 - Studia Logica 73 (3):367-382.
    We show that every proper normal extension of the bi-modal system S5⁲ has the poly-size model property. In fact, to every proper normal extension L of S5⁲ corresponds a natural number b-the bound of L. For every L, there exists a polynomial P of degree b + 1 such that every L-consistent formula φ is satisfiable on an L-frame whose universe is bounded by P, where |φ| denotes the number of subformulas of φ. It is shown that this bound is (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  17.  57
    An Elementary Construction for a Non-Elementary Procedure.Maarten Marx & Szabolcs Mikulás - 2002 - Studia Logica 72 (2):253-263.
    We consider the problem of the product finite model property for binary products of modal logics. First we give a new proof for the product finite model property of the logic of products of Kripke frames, a result due to Shehtman. Then we modify the proof to obtain the same result for logics of products of Kripke frames satisfying any combination of seriality, reflexivity and symmetry. We do not consider the transitivity condition in isolation because it leads to infinity axioms (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  18.  17
    Failure of Interpolation in Combined Modal Logics.Maarten Marx & Carlos Areces - 1998 - Notre Dame Journal of Formal Logic 39 (2):253-273.
    We investigate transfer of interpolation in such combinations of modal logic which lead to interaction of the modalities. Combining logics by taking products often blocks transfer of interpolation. The same holds for combinations by taking unions, a generalization of Humberstone's inaccessibility logic. Viewing first-order logic as a product of modal logics, we derive a strong counterexample for failure of interpolation in the finite variable fragments of first-order logic. We provide a simple condition stated only in terms of frames and bisimulations (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  19.  12
    Complete Axiomatizations for XPath Fragments.Balder ten Cate, Tadeusz Litak & Maarten Marx - 2010 - Journal of Applied Logic 8 (2):153-172.
  20.  32
    Amalgamation in Relation Algebras.Maarten Marx - 1998 - Journal of Symbolic Logic 63 (2):479-484.
  21.  16
    Taming Logic.Maarten Marx, Szabolcs Mikul & István Németi - 1995 - Journal of Logic, Language and Information 4 (3):207-226.
    In this paper, we introduce a general technology, calledtaming, for finding well-behaved versions of well-investigated logics. Further, we state completeness, decidability, definability and interpolation results for a multimodal logic, calledarrow logic, with additional operators such as thedifference operator, andgraded modalities. Finally, we give a completeness proof for a strong version of arrow logic.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  34
    Undecidable Relativizations of Algebras of Relations.Szabolcs Mikulás & Maarten Marx - 1999 - Journal of Symbolic Logic 64 (2):747-760.
    In this paper we show that relativized versions of relation set algebras and cylindric set algebras have undecidable equational theories if we include coordinatewise versions of the counting operations into the similarity type. We apply these results to the guarded fragment of first-order logic.
    Direct download (12 more)  
     
    Export citation  
     
    Bookmark  
  23.  34
    The Classical Decision Problem, Egon Börger, Erich Grädel, and Yuri Gurevich.Maarten Marx - 1999 - Journal of Logic, Language and Information 8 (4):478-481.
  24.  36
    Book Reviews. [REVIEW]Connie Xiaokang Yu, Maria Luisa Dalla Chiara, Fraser MacBride, Dale Jacquette, Maarten Marx, Stig Alstrup Rasmussen & Sven Ove Hansson - 2004 - Studia Logica 77 (1):619-624.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  25.  31
    Computing with Cylindric Modal Logics and Arrow Logics, Lower Bounds.Maarten Marx - 2002 - Studia Logica 72 (2):233-252.
    The complexity of the satisfiability problems of various arrow logics and cylindric modal logics is determined. As is well known, relativising these logics makes them decidable. There are several parameters that can be set in such a relativisation. We focus on the following three: the number of variables involved, the similarity type and the kind of relativised models considered. The complexity analysis shows the importance and relevance of these parameters.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  26.  8
    Undecidable Relativizations of Algebras of Relations.Szabolcs Mikulas & Maarten Marx - 1999 - Journal of Symbolic Logic 64 (2):747-760.
    In this paper we show that relativized versions of relation set algebras and cylindric set algebras have undecidable equational theories if we include coordinatewise versions of the counting operations into the similarity type. We apply these results to the guarded fragment of first-order logic.
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  7
    Amalgamation in Relation Algebras.Maarten Marx - 1998 - Journal of Symbolic Logic 63 (2):479-484.
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  7
    Decidability of Cylindric Set Algebras of Dimension Two and First-Order Logic with Two Variables.Maarten Marx & Szabolcs Mikulas - 1999 - Journal of Symbolic Logic 64 (4):1563-1572.
    The aim of this paper is to give a new proof for the decidability and finite model property of first-order logic with two variables, using a combinatorial theorem due to Herwig. The results are proved in the framework of polyadic equality set algebras of dimension two. The new proof also shows the known results that the universal theory of Pse$_2$ is decidable and that every finite Pse$_2$ can be represented on a finite base. Since the class Cs$_2$ of cylindric set (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  19
    Multi-Dimensional Semantics for Modal Logics.Maarten Marx - 1996 - Notre Dame Journal of Formal Logic 37 (1):25-34.
    We show that every modal logic (with arbitrary many modalities of arbitrary arity) can be seen as a multi-dimensional modal logic in the sense of Venema. This result shows that we can give every modal logic a uniform "concrete" semantics, as advocated by Henkin et al. This can also be obtained using the unravelling method described by de Rijke. The advantage of our construction is that the obtained class of frames is easily seen to be elementary and that the worlds (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  30.  24
    The Semijoin Algebra and the Guarded Fragment.Dirk Leinders, Maarten Marx, Jerzy Tyszkiewicz & Jan Van den Bussche - 2005 - Journal of Logic, Language and Information 14 (3):331-343.
    In the 1970s Codd introduced the relational algebra, with operators selection, projection, union, difference and product, and showed that it is equivalent to first-order logic. In this paper, we show that if we replace in Codd’s relational algebra the product operator by the “semijoin” operator, then the resulting “semijoin algebra” is equivalent to the guarded fragment of first-order logic. We also define a fixed point extension of the semijoin algebra that corresponds to μGF.
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark  
  31.  5
    The Semijoin Algebra and the Guarded Fragment.Dirk Leinders, Maarten Marx, Jerzy Tyszkiewicz & Jan Bussche - 2005 - Journal of Logic, Language and Information 14 (3):331-343.
    Direct download  
     
    Export citation  
     
    Bookmark  
  32. Essays Dedicated to Johan van Benthem on the Occasion of His 50th Birthday.Jelle Gerbrandy, Maarten Marx, Maarten de Rijke & Yde Venema (eds.) - 1999 - Amsterdam University Press.
    Translate
     
     
    Export citation  
     
    Bookmark  
  33.  45
    Finite Model Theory and its Applications.Erich Grädel, Phokion Kolaitis, Libkin G., Marx Leonid, Spencer Maarten, Vardi Joel, Y. Moshe, Yde Venema & Scott Weinstein - 2007 - Springer.
    This book gives a comprehensive overview of central themes of finite model theory – expressive power, descriptive complexity, and zero-one laws – together with selected applications relating to database theory and artificial intelligence, especially constraint databases and constraint satisfaction problems. The final chapter provides a concise modern introduction to modal logic, emphasizing the continuity in spirit and technique with finite model theory. This underlying spirit involves the use of various fragments of and hierarchies within first-order, second-order, fixed-point, and infinitary logics (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  34. Mosaics and Step-by-Step. Remarks on “A Modal Logic of Relations”.Robin Hirsch, Ian Hodkinson, Maarten Marx, Szabolsc Mikulás & Mark Reynolds - 1999 - In E. Orłowska (ed.), Logic at Work. Heidelberg.
     
    Export citation  
     
    Bookmark  
  35. Mosaics and Cylindric Modal Logic of Dimension 2.Maarten Marx - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Volume 1. CSLI Publications. pp. 141-156.
    No categories
     
    Export citation  
     
    Bookmark  
  36.  8
    Remarks on Gregory's" Actually" Operator.Blackburn Patrick & Marx Maarten - 2002 - Journal of Philosophical Logic 31 (3):281-288.
    In this note we show that the classical modal technology of Sahlqvist formulas gives quick proofs of the completeness theorems in [8] : 57-78, 2001) and vastly generalizes them. Moreover, as a corollary, interpolation theorems for the logics considered in [8] are obtained. We then compare Gregory's modal language enriched with an "actually" operator with the work of Arthur Prior now known under the name of hybrid logic. This analysis relates the "actually" axioms to standard hybrid axioms, yields the decidability (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  37. Karl Marx.Gudrun Straub, Karl Marx, Günther Weiss & Josef Friedrich Doppelbauer - 1983
     
    Export citation  
     
    Bookmark   3 citations  
  38. Marx Et la Révolution Française.François Furet, Lucien Calvié & Karl Marx - 1986
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  39. The Ethnological Notebooks of Karl Marx.Karl Marx & Lawrence Krader - 1986 - Irvington.
     
    Export citation  
     
    Bookmark   2 citations  
  40. Karl Marx, les "Thèses Sur Feuerbach".Georges Labica & Karl Marx - 1987
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  41.  22
    Rijke. PDL for Ordered Trees.Loredana Afanasiev, Patrick Blackburn, Ioanna Dimitriou, Gaiffe Evan, Goris Maarten & Marx Maarten - forthcoming - Journal of Applied Non-Classical Logics.
  42. Marx and Engels on Law.Karl Marx, Maureen Cain, Alan Hunt & Friedrich Engels - 1979
     
    Export citation  
     
    Bookmark   1 citation  
  43. Der Idealismus Und Seine Gegenwart Festschrift Für Werner Marx Zum 65. Geburtstag.Werner Marx, Ute Guzzoni, Bernhard Rang & Ludwig Siep - 1976
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  44. Análisis Crítico Del "Bolivar" de Marx.José Roberto Arze & Karl Marx - 1998 - Anthropos.
    Translate
     
     
    Export citation  
     
    Bookmark  
  45. Marx's "Capital" Today.Tom Kemp & Karl Marx - 1982
     
    Export citation  
     
    Bookmark  
  46. Marx-Lexikon Zur Politischen Ökonomie = Marukusu Keizaigaku Rekishikon Genten Taiyaku.Samezo Kuruma & Karl Marx - 1973 - Otsuki.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  47. The Economics of Marx's Grundrisse an Annotated Summary.Adalbert G. Lallier & Karl Marx - 1989
     
    Export citation  
     
    Bookmark  
  48. Birth of the Communist Manifesto with Full Text of the Manifesto, All Prefaces by Marx and Engels, Early Drafts by Engels and Other Supplementary Material.Karl Marx, Friedrich Engels & Dirk Jan Struik - 1971
     
    Export citation  
     
    Bookmark  
  49. Briefwechsel [Zwischen] Karl Marx [Und] Friedrich Engels.Karl Marx & Friedrich Engels - 1949 - Dietz Verlag.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  50. Essential Classics in Politics Marx and Engels.Karl Marx & Friedrich Engels - 1998
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000