55 found
Order:
Disambiguations
Maarten De Rijke [44]M. de Rijke [12]
  1.  80
    Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2002 - Cambridge University Press.
    This modern, advanced textbook reviews modal logic, a field which caught the attention of computer scientists in the late 1970's.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   191 citations  
  2. Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2004 - Studia Logica 76 (1):142-148.
     
    Export citation  
     
    My bibliography   51 citations  
  3. Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2002 - Bulletin of Symbolic Logic 8 (2):299-301.
    Direct download  
     
    Export citation  
     
    My bibliography   23 citations  
  4. The Modal Logic of Inequality.Maarten de Rijke - 1992 - Journal of Symbolic Logic 57 (2):566-584.
    We consider some modal languages with a modal operator $D$ whose semantics is based on the relation of inequality. Basic logical properties such as definability, expressive power and completeness are studied. Also, some connections with a number of other recent proposals to extend the standard modal language are pointed at.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   20 citations  
  5.  70
    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.
  6.  21
    Sahlqvist's Theorem for Boolean Algebras with Operators with an Application to Cylindric Algebras.Maarten de Rijke & Yde Venema - 1995 - Studia Logica 54 (1):61-78.
    For an arbitrary similarity type of Boolean Algebras with Operators we define a class ofSahlqvist identities. Sahlqvist identities have two important properties. First, a Sahlqvist identity is valid in a complex algebra if and only if the underlying relational atom structure satisfies a first-order condition which can be effectively read off from the syntactic form of the identity. Second, and as a consequence of the first property, Sahlqvist identities arecanonical, that is, their validity is preserved under taking canonical embedding algebras. (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   10 citations  
  7.  3
    Model Checking Hybrid Logics.Massimo Franceschet & Maarten de Rijke - 2006 - Journal of Applied Logic 4 (3):279-304.
  8.  2
    Advances in Modal Logic.Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev - 2002 - Bulletin of Symbolic Logic 8 (1):95-97.
  9.  24
    Why Combine Logics?Patrick Blackburn & Maarten de Rijke - 1997 - Studia Logica 59 (1):5 - 27.
    Combining logics has become a rapidly expanding enterprise that is inspired mainly by concerns about modularity and the wish to join together tailor made logical tools into more powerful but still manageable ones. A natural question is whether it offers anything new over and above existing standard languages. By analysing a number of applications where combined logics arise, we argue that combined logics are a potentially valuable tool in applied logic, and that endorsements of standard languages often miss the point. (...)
    Direct download (9 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  10.  54
    Generalized Quantifiers and Modal Logic.Wiebe Van Der Hoek & Maarten De Rijke - 1993 - Journal of Logic, Language and Information 2 (1):19-58.
    We study several modal languages in which some (sets of) generalized quantifiers can be represented; the main language we consider is suitable for defining any first order definable quantifier, but we also consider a sublanguage thereof, as well as a language for dealing with the modal counterparts of some higher order quantifiers. These languages are studied both from a modal logic perspective and from a quantifier perspective. Thus the issues addressed include normal forms, expressive power, completeness both of modal systems (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  11.  2
    Advances in Modal Logic, Volume.F. Wolter, H. Wansing, M. de Rijke & M. Zakharyaschev - unknown
    We study a propositional bimodal logic consisting of two S4 modalities £ and [a], together with the interaction axiom scheme a £ϕ → £ aϕ. In the intended semantics, the plain £ is given the McKinsey-Tarski interpretation as the interior operator of a topology, while the labelled [a] is given the standard Kripke semantics using a reflexive and transitive binary relation a. The interaction axiom expresses the property that the Ra relation is lower semi-continuous with respect to the topology. The (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    My bibliography   2 citations  
  12.  7
    Modal Model Theory.Maarten De Rijke - forthcoming - Annals of Pure and Applied Logic.
  13.  51
    A System of Dynamic Modal Logic.Maarten de Rijke - 1998 - Journal of Philosophical Logic 27 (2):109-142.
    In many logics dealing with information one needs to make statements not only about cognitive states, but also about transitions between them. In this paper we analyze a dynamic modal logic that has been designed with this purpose in mind. On top of an abstract information ordering on states it has instructions to move forward or backward along this ordering, to states where a certain assertion holds or fails, while it also allows combinations of such instructions by means of operations (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  14.  33
    The Logic of Peirce Algebras.Maarten De Rijke - 1995 - Journal of Logic, Language and Information 4 (3):227-250.
    Peirce algebras combine sets, relations and various operations linking the two in a unifying setting. This paper offers a modal perspective on Peirce algebras. Using modal logic a characterization of the full Peirce algebras is given, as well as a finite axiomatization of their equational theory that uses so-called unorthodox derivation rules. In addition, the expressive power of Peirce algebras is analyzed through their connection with first-order logic, and the fragment of first-order logic corresponding to Peirce algebras is described in (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  15.  8
    Zooming in, Zooming Out.Patrick Blackburn & Maarten De Rijke - 1997 - Journal of Logic, Language and Information 6 (1):5-31.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  16. Logic, Language and Computation.Seiki Akama & Maarten de Rijke - 2000 - Studia Logica 64 (3):415-421.
  17. Rich Ontologies for Tense and Aspect.Patrick Blackburn, Claire Gardent & Maarten De Rijke - 1996 - In Jerry Seligman & Dag Westerståhl (eds.), Logic, Language and Computation. Csli Publications, Stanford.
  18.  37
    A Note on Graded Modal Logic.Maarten de Rijke - 2000 - Studia Logica 64 (2):271-283.
    We introduce a notion of bisimulation for graded modal logic. Using this notion, the model theory of graded modal logic can be developed in a uniform manner. We illustrate this by establishing the finite model property and proving invariance and definability results.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  19.  14
    Index of Authors of Volume 8.B. Aldag, G. Antoniou, T. Aoto, P. Blackburn, K. Britz, M. Brown, A. Bundy, R. Cox, M. De Rijke & S. Demri - 1999 - Journal of Logic, Language, and Information 8 (485):485.
  20.  32
    Bisimulations for Temporal Logic.Natasha Kurtonina & Maarten de Rijke - 1997 - Journal of Logic, Language and Information 6 (4):403-425.
    We define bisimulations for temporal logic with Since and Until. This new notion is compared to existing notions of bisimulations, and then used to develop the basic model theory of temporal logic with Since and Until. Our results concern both invariance and definability. We conclude with a brief discussion of the wider applicability of our ideas.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  21. Logic Colloquium '92.Lazlo Csirmaz, Dov M. Gabbay & Maarten de Rijke (eds.) - 1995 - Center for the Study of Language and Inf.
     
    Export citation  
     
    My bibliography   1 citation  
  22.  13
    Unary Interpretability Logic.Maarten de Rijke - 1992 - Notre Dame Journal of Formal Logic 33 (2):249-272.
  23.  26
    A Note on the Expressive Power of Probabilistic Context Free Grammars.Gabriel Infante-Lopez & Maarten De Rijke - 2006 - Journal of Logic, Language and Information 15 (3):219-231.
    We examine the expressive power of probabilistic context free grammars (PCFGs), with a special focus on the use of probabilities as a mechanism for reducing ambiguity by filtering out unwanted parses. Probabilities in PCFGs induce an ordering relation among the set of trees that yield a given input sentence. PCFG parsers return the trees bearing the maximum probability for a given sentence, discarding all other possible trees. This mechanism is naturally viewed as a way of defining a new class of (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  24.  23
    Zooming in, Zooming Out.Patrick Blackburn & Maarten de Rijke - 1997 - Journal of Logic, Language and Information 6 (1):5-31.
    This is an exploratory paper about combining logics, combining theories and combining structures. Typically when one applies logic to such areas as computer science, artificial intelligence or linguistics, one encounters hybrid ontologies. The aim of this paper is to identify plausible strategies for coping with ontological richness.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  25.  25
    Logical Reasoning with Diagrams, Gerard Allwein and Jon Barwise, Eds.Maarten de Rijke - 1999 - Journal of Logic, Language and Information 8 (3):387-390.
  26.  23
    Editorial: Efficacy of Diagrammatic Reasoning. [REVIEW]Oliver Lemon, Maarten de Rijke & Atsushi Shimojima - 1999 - Journal of Logic, Language and Information 8 (3):265-271.
  27.  10
    Index of Authors of Volume 10.M. Aiello, D. Beaver, M. de Rijke, M. Egg, T. Fernando, C. Gardent, K. Hartmann, H. Hendriks, J. Hintikka & W. Hodges - 2001 - Journal of Logic, Language and Information 10 (525):525.
  28.  20
    Editorial: Special Issues – the Ground-Rules. [REVIEW]Dag Westerståhl & Maarten de Rijke - 1998 - Journal of Logic, Language and Information 7 (2):3-4.
  29.  21
    Handbook of Tableau Methods, Marcello D'Agostino, Dov M. Gabbay, Reiner Hähnle, and Joachim Posegga, Eds.Maarten de Rijke - 2001 - Journal of Logic, Language and Information 10 (4):518-523.
  30.  5
    University of Sao Paulo (Sao Paulo), Brazil, July 28–31, 1998.Sergei Artemov, Sam Buss, Edmund Clarke Jr, Heinz Dieter Ebbinghaus, Hans Kamp, Phokion Kolaitis, Maarten de Rijke & Valeria de Paiva - 1999 - Bulletin of Symbolic Logic 5 (3).
    Direct download  
     
    Export citation  
     
    My bibliography  
  31.  6
    Deduction Systems, Rolf Socher-Ambrosius and Patricia Johann.Maarten de Rijke - 1999 - Journal of Logic, Language and Information 8 (4):476-478.
  32.  1
    Controlled Model Exploration.Gabriel G. Infante-Lopez, Carlos Areces & Maarten de Rijke - 2003 - In Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter & Michael Zakharyaschev (eds.), Advances in Modal Logic, Volume 4. CSLI Publications. pp. 205-220.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  33.  4
    A System of Dynamic Modal Logic.Maarten De Rijke - 1998 - Journal of Philosophical Logic 27 (2):109 - 142.
    In many logics dealing with information one needs to make statements not only about cognitive states, but also about transitions between them. In this paper we analyze a dynamic modal logic that has been designed with this purpose in mind. On top of an abstract information ordering on states it has instructions to move forward or backward along this ordering, to states where a certain assertion holds or fails, while it also allows combinations of such instructions by means of operations (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34.  4
    Editors' Introduction.Patrick Blackburn & Maarten de Rijke - 1996 - Notre Dame Journal of Formal Logic 37 (2):161-166.
    The idea of combining logics, structures, and theories has recently been attracting interest in areas as diverse as constraint logic programming, theorem proving, verification, computational linguistics, artificial intelligence and indeed, various branches of logic itself. It would be an exaggeration to claim that these (scattered, and by-and-large independent) investigations have crystallized into an enterprise meriting the title "combined methods"; nonetheless, a number of interesting themes are emerging. This introduction notes some prominent ones and relates them to the papers in this (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  35.  3
    Review: Jon Barwise, Jerry Seligman, Information Flow. The Logic of Distributed Systems. [REVIEW]Maarten de Rijke - 1999 - Journal of Symbolic Logic 64 (4):1836-1836.
  36.  2
    A Note on the Interpretability Logic of Finitely Axiomatized Theories.Maarten de Rijke - 1991 - Studia Logica 50 (2):241-250.
    In [6] Albert Visser shows that ILP completely axiomatizes all schemata about provability and relative interpretability that are provable in finitely axiomatized theories. In this paper we introduce a system called $\text{ILP}^{\omega}$ that completely axiomatizes the arithmetically valid principles of provability in and interpretability over such theories. To prove the arithmetical completeness of $\text{ILP}^{\omega}$ we use a suitable kind of tail models; as a byproduct we obtain a somewhat modified proof of Visser's completeness result.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  37.  1
    Data-Driven Type Checking in Open Domain Question Answering.Stefan Schlobach, David Ahn, Maarten de Rijke & Valentin Jijkoun - 2007 - Journal of Applied Logic 5 (1):121-143.
  38. H7, L40, L45.A. Aliseda-Llera, J. L. Austin, R. Backofen, A. Bezuidenhout, R. Blutner, H. Bum, R. Carston, T. Cornell, M. de Rijke & D. Duchier - 2003 - In Jaroslav Peregrin (ed.), Meaning: The Dynamic Turn. Elsevier Science. pp. 271.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  39. From Description to Hybrid Logics, and Back.Carlos Areces & Maarten de Rijke - 2002 - In Frank Wolter, Heinrich Wansing, Maarten de Rijke & Michael Zakharyaschev (eds.), Advances in Modal Logic, Volume 3. CSLI Publications. pp. 17-36.
    No categories
     
    Export citation  
     
    My bibliography  
  40. Methods for Modalities 1, Volume 8 (3).C. Areces, E. Franconi, R. Goré, M. de Rijke & H. Schlingloff - unknown
     
    Export citation  
     
    My bibliography  
  41. Advances in Intensional Logic.M. de Rijke (ed.) - 1997 - Kluwer Academic Publishers.
    Translate
     
     
    Export citation  
     
    My bibliography  
  42. A Modal Logic for Updating and Contracting [Abstract].M. de Rijke - 1993 - Journal of Symbolic Logic 58 (3):1145.
  43. Diamonds and Defaults Studies in Pure and Applied Intensional Logic.Maarten de Rijke - 1993
     
    Export citation  
     
    My bibliography  
  44. Gerard Allwein and Jon Barwise, Eds., Logical Reasoning with Diagrams.M. De Rijke - 1999 - Journal of Logic Language and Information 8:387-390.
  45. Rolf Socher-Ambrosius and Patricia Johann, Deduction Systems.M. De Rijke - 1999 - Journal of Logic Language and Information 8:476-478.
  46. Special Issue on Combining Logics, Volume 37 (2) Of.M. de Rijke & P. Blackburn - forthcoming - Notre Dame Journal of Formal Logic.
  47. Frontiers of Combining Systems.Dov M. Gabbay & Maarten de Rijke (eds.) - 2000 - Research Studies Press.
    The International workshop 'Frontiers of Combining Systems' is the only forum that is exclusively devoted to research efforts in this interdisciplinary area. This volume contains selected, edited papers from the second installment of the workshop. The contributions range from theorem proving, rewriting and logic to systems and constraints. While there is a clear emphasis on automated tools and logics, the contributions to this volume show that there exists a rapidly expanding body of solutions of particular instances of the combination problem, (...)
     
    Export citation  
     
    My bibliography  
  48. 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  
     
    My bibliography  
  49. Advances in Modal Logic, Vol. 1.Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev - 2000 - Studia Logica 65 (3):440-442.
     
    Export citation  
     
    My bibliography  
  50. Advances in Modal Logic.Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.) - 1998 - CSLI Publications.
    No categories
     
    Export citation  
     
    My bibliography  
1 — 50 / 55