105 found
Order:
Disambiguations
Melvin H. Marx [60]Maarten Marx [35]Marx Marx [21]M. Marx [7]
Michael Marx [3]M. J. Marx [1]Marx Against Marx [1]Maintaining Marx [1]

Not all matches are shown. Search with initial or firstname to single out others.

  1. Systems and Theories in Psychology.Melvin Herman Marx - 1973 - New York: Mcgraw-Hill.
  2.  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   21 citations  
  3.  57
    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   22 citations  
  4.  10
    The Computational Complexity of Hybrid Temporal Logics.C. Areces, P. Blackburn & M. Marx - 2000 - Logic Journal of the IGPL 8 (5):653-679.
    In their simplest form, hybrid languages are propositional modal languages which can refer to states. They were introduced by Arthur Prior, the inventor of tense logic, and played an important role in his work: because they make reference to specific times possible, they remove the most serious obstacle to developing modal approaches to temporal representation and reasoning. However very little is known about the computational complexity of hybrid temporal logics.In this paper we analyze the complexity of the satisfiability problem of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   22 citations  
  5.  22
    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  
  6.  83
    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  
  7.  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  
  8. 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  
  9. Multi-Dimensional Modal Logic.Maarten Marx & Yde Venema - 2000 - Studia Logica 65 (2):278-282.
     
    Export citation  
     
    Bookmark   9 citations  
  10.  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  
  11.  10
    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  
  12.  52
    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  
  13.  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  
  14.  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  
  15.  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  
  16.  95
    Ulysses Santamaria.Marx Against Marx - 1984 - Thesis Eleven 9 (1):126-134.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  17. Arrow Logic and Multi-Modal Logic.Maarten Marx, Michael Masuch & László Pólos - 1996
  18.  7
    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  
  19. 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  
  20.  13
    Repetition of Correct Responses and Errors as a Function of Performance with Reward or Information.Melvin H. Marx & David W. Witter - 1972 - Journal of Experimental Psychology 92 (1):53.
  21.  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  
  22.  31
    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  
  23.  12
    Complete Axiomatizations for XPath Fragments.Balder ten Cate, Tadeusz Litak & Maarten Marx - 2010 - Journal of Applied Logic 8 (2):153-172.
  24.  8
    Changes in Performance as a Function of Shifts in the Magnitude of Reinforcement.George Collier & Melvin H. Marx - 1959 - Journal of Experimental Psychology 57 (5):305.
  25.  5
    Verbal Discrimination Learning and Retention as a Function of Task and Performance or Observation.Melvin H. Marx, Andrew L. Homer & Kathleen Marx - 1980 - Bulletin of the Psychonomic Society 15 (3):167-170.
  26. Finite Model Theory and its Applications. Texts in Theoretical Computer Science.E. Grädel, P. G. Kolaitis, L. Libkin, M. Marx, J. Spencer & M. Y. Vardi - 2010 - Bulletin of Symbolic Logic 16 (3):406-407.
  27.  10
    Development of Inferences Over Elementary-School Grades: I. Recall and Association of Implicit Words.Melvin H. Marx - 1991 - Bulletin of the Psychonomic Society 29 (5):460-462.
  28.  3
    Retrospective Reports on Frequency Judgments.Melvin H. Marx - 1985 - Bulletin of the Psychonomic Society 23 (4):309-310.
  29.  8
    Repetition of Errors in Learning and Memory as a Function of Their Prior Associative Strength.Melvin H. Marx & Kathleen Marx - 1980 - Bulletin of the Psychonomic Society 16 (6):435-438.
  30.  4
    Development of Inferences Over Elementary-School Grades: II. Retention of Explicit and Implicit Words.Melvin H. Marx - 1992 - Bulletin of the Psychonomic Society 30 (2):167-169.
  31.  5
    Development of Inferences Over Elementary-School Grades: III. Verbatim and Forward-Consequence Inferential Errors Made by Regular and Gifted Students.Melvin H. Marx - 1992 - Bulletin of the Psychonomic Society 30 (5):353-355.
  32.  3
    Multiple-Choice Learning of Line-Drawn Facial Features: I. Inhibitory Effects of Observer Scoring.Melvin H. Marx - 1979 - Bulletin of the Psychonomic Society 14 (6):437-438.
  33.  6
    Effects of Frequency of Prior Incidental Occurrence and Recall of Target Words on Anagram Solution.Melvin H. Marx - 1982 - Bulletin of the Psychonomic Society 19 (5):253-255.
  34.  25
    Reactive Inhibition as a Function of Same-Hand and Opposite-Hand Intertrial Activity.Lewis E. Albright, C. Robert Borresen & Melvin H. Marx - 1956 - Journal of Experimental Psychology 51 (5):353.
  35.  32
    Amalgamation in Relation Algebras.Maarten Marx - 1998 - Journal of Symbolic Logic 63 (2):479-484.
  36.  12
    Response Strength as a Function of Delay of Reward in a Runway.Wayne B. Holder, Melvin H. Marx, Elaine E. Holder & George Collier - 1957 - Journal of Experimental Psychology 53 (5):316.
  37.  6
    Multiple-Choice Learning of Line-Drawn Facial Features: III. Transfer as a Function of Performance or Observation.Melvin H. Marx - 1980 - Bulletin of the Psychonomic Society 15 (1):57-59.
  38. Ardeshir, M., Ruitenburg, W. And Salehi, S., Intuitionistic.C. Areces, P. Blackburn, M. Marx, S. Cook, A. Kolokolova, T. Coquand, G. Sambin, J. Smith, S. Valentini & P. Dybjer - 2003 - Annals of Pure and Applied Logic 124:301.
  39.  13
    Self-Awareness in Facial Recognition.John H. Mueller, Michael J. Ross & Melvin H. Marx - 1981 - Bulletin of the Psychonomic Society 18 (3):145-147.
  40.  5
    Long-Term Persistence of Response- Repetition Tendencies Based on Performance or Observation.David W. Witter, Melvin H. Marx & John Farbry - 1976 - Bulletin of the Psychonomic Society 8 (2):65-67.
  41.  4
    Transfer of Rewarded Responses in Personality Judgments.Melvin H. Marx - 1978 - Bulletin of the Psychonomic Society 11 (2):112-114.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  42.  15
    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  
  43.  3
    Differential Recall of Problem Names and Clues as a Function of Problem Solution or Nonsolution.Robert A. Bottenberg, Melvin H. Marx & Edward J. Pavur - 1976 - Bulletin of the Psychonomic Society 7 (5):445-448.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  44.  9
    Response Strengthening by Information and Effect in Human Learning.W. A. Hillix & Melvin H. Marx - 1960 - Journal of Experimental Psychology 60 (2):97.
  45.  33
    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  
  46.  6
    Event-Frequency Judgments as a Function of the Linguistic Frequency and Single or Paired Presentation of Target Words: II Task Requiring Judgment of Linguistic Frequency.Melvin H. Marx - 1986 - Bulletin of the Psychonomic Society 24 (5):361-364.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  47.  11
    Affective Transfer as a Function of Reward and Sex of Subject.Melvin H. Marx & Kathleen Marx - 1978 - Bulletin of the Psychonomic Society 12 (2):159-161.
  48.  7
    Interactions Among Performance, Task, and Gender Variables in Verbal Discrimination Learning.Melvin H. Marx, Kathleen Marx & Andrew L. Homer - 1981 - Bulletin of the Psychonomic Society 18 (1):9-11.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  49.  6
    Inhibition of Learned-Response Availability: Reduction of Cued Retrieval by Frequency of Occurrence and Prior Recall of Target Words.Melvin H. Marx & Yung Che Kim - 1984 - Bulletin of the Psychonomic Society 22 (1):29-32.
  50.  33
    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.
1 — 50 / 105