40 found
Order:
  1. Modal Logic: Graph. Darst.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - New York: Cambridge University Press. Edited by Maarten de Rijke & Yde Venema.
    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  
     
    Bookmark   295 citations  
  2. (1 other version)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 (9 more)  
     
    Export citation  
     
    Bookmark   40 citations  
  3. 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 (5 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  4. (1 other version)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 (6 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  5.  49
    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 (6 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  6. 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  
     
    Bookmark   10 citations  
  7.  36
    Model checking hybrid logics.Massimo Franceschet & Maarten de Rijke - 2006 - Journal of Applied Logic 4 (3):279-304.
  8.  99
    (1 other version)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 (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  9.  66
    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 (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  10.  57
    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 (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  11. Modal model theory.Maarten De Rijke - forthcoming - Annals of Pure and Applied Logic.
  12. 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 (eXtensible Markup Language) documents, we revisit the language. This renewed interest (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  13.  57
    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 (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  14. Rich ontologies for tense and aspect.Patrick Blackburn, Claire Gardent & Maarten De Rijke - 1996 - In Jerry Seligman & Dag Westerstahl (eds.), Logic, Language and Computation. Center for the Study of Language and Inf.
    In this paper back-and-forth structures are applied to the semantics of natural language. Back-and-forth structures consist of an event structure and an interval structure communicating via a relational link; transitions in the one structure correspond to transitions in the other. Such entities enable us to view temporal constructions (such as tense, aspect, and temporal connectives) as methods of moving systematically between information sources. We illustrate this with a treatment of the English present perfect, and progressive aspect, that draws on ideas (...)
     
    Export citation  
     
    Bookmark   3 citations  
  15.  38
    Unary interpretability logic.Maarten de Rijke - 1992 - Notre Dame Journal of Formal Logic 33 (2):249-272.
  16.  22
    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  
     
    Bookmark  
  17. (1 other version)From Description to Hybrid Logics, and Back.Carlos Areces & Maarten de Rijke - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 17-36.
    No categories
     
    Export citation  
     
    Bookmark  
  18.  20
    Bayesian feature interaction selection for factorization machines.Yifan Chen, Yang Wang, Pengjie Ren, Meng Wang & Maarten de Rijke - 2022 - Artificial Intelligence 302 (C):103589.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19. Logic Colloquium '92.Lazlo Csirmaz, Dov M. Gabbay & Maarten de Rijke (eds.) - 1995 - Center for the Study of Language and Inf.
     
    Export citation  
     
    Bookmark   1 citation  
  20.  14
    Advances in Intensional Logic.Maarten de Rijke (ed.) - 1997 - Dordrecht, Netherland: Kluwer Academic Publishers.
    Intensional logic has emerged, since the 1960' s, as a powerful theoretical and practical tool in such diverse disciplines as computer science, artificial intelligence, linguistics, philosophy and even the foundations of mathematics. The present volume is a collection of carefully chosen papers, giving the reader a taste of the frontline state of research in intensional logics today. Most papers are representative of new ideas and/or new research themes. The collection would benefit the researcher as well as the student. This book (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  21
    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  
     
    Bookmark   1 citation  
  22.  26
    Deduction systems, Rolf Socher-ambrosius and Patricia Johann.Maarten de Rijke - 1999 - Journal of Logic, Language and Information 8 (4):476-478.
  23.  53
    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.
  24.  33
    Logical reasoning with diagrams, Gerard Allwein and Jon Barwise, eds.Maarten de Rijke - 1999 - Journal of Logic, Language and Information 8 (3):387-390.
  25.  12
    Proofs and Expressiveness in Alethic Modal Logic.Maarten de Rijke & Heinrich Wansing - 2002 - In Dale Jacquette (ed.), A Companion to Philosophical Logic. Malden, MA, USA: Wiley-Blackwell. pp. 422–441.
    This chapter contains sections titled: Introduction Model Theory Proof Theory Modal Predicate Logic.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  7
    Frontiers of combining systems 2.Dov M. Gabbay & Maarten de Rijke (eds.) - 2000 - Philadelphia, PA: 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, (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  27. 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.
     
    Export citation  
     
    Bookmark  
  28.  65
    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 (4 more)  
     
    Export citation  
     
    Bookmark  
  29.  16
    (1 other version)Controlled Model Exploration.Gabriel G. Infante-Lopez, Carlos Areces & Maarten de Rijke - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 205-220.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  30. Advances in Modal Logic, Vol. 1.Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev - 2000 - Studia Logica 65 (3):440-442.
  31. Advances in Modal Logic.Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.) - 1998 - CSLI Publications.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  32.  14
    Advances in Modal Logic, Volume 1: Papers From the First Aiml Conference, Held at the Free University of Berlin, 1996.Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.) - 1998 - Cambridge, England: Cambridge University Press.
    Modal logic originated in philosophy as the logic of necessity and possibility. Now it has reached a high level of mathematical sophistication and has many applications in a variety of disciplines, including theoretical and applied computer science, artificial intelligence, the foundations of mathematics, and natural language syntax and semantics. This volume represents the proceedings of the first international workshop on Advances in Modal Logic, held in Berlin, Germany, October 8-10, 1996. It offers an up-to-date perspective on the field, with contributions (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  12
    Expressiveness of concept expressions in first-order description logics.Natasha Kurtonina & Maarten de Rijke - 1999 - Artificial Intelligence 107 (2):303-333.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34. Logic, Langage and Computation, Volume 2.Lawrence S. Moss, Jonathan Ginzburg & Maarten de Rijke (eds.) - 1999 - Center for the Study of Language and Inf.
     
    Export citation  
     
    Bookmark  
  35.  14
    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.
  36.  8
    Advances in Modal Logic, Volume 3: Papers From the Third Aiml Conference, Held at the University of Leipzig, October 2000.Frank Wolter, H. Wansing, Maarten de Rijke & Michael Zakharyaschev - 2002 - Singapore: World Scientific.
  37.  19
    Advances in Modal Logic, Volume 2: Papers From the Second Aiml Conference, Held at the University of Uppsala, Sweden, October 1998.Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke & Heinrich Wansing (eds.) - 2001 - Stanford, CA, USA: Center for the Study of Language and Inf.
    Modal Logic, originally conceived as the logic of necessity and possibility, has developed into a powerful mathematical and computational discipline. It is the main source of formal languages aimed at analyzing complex notions such as common knowledge and formal provability. Modal and modal-like languages also provide us with families of restricted description languages for relational and topological structures; they are being used in many disciplines, ranging from artificial intelligence, computer science and mathematics via natural language syntax and semantics to philosophy. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  23
    (1 other version)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.
  39.  42
    (1 other version)Editorial: Efficacy of diagrammatic reasoning. [REVIEW]Oliver Lemon, Maarten de Rijke & Atsushi Shimojima - 1999 - Journal of Logic, Language and Information 8 (3):265-271.
  40.  49
    Editorial: Special issues – the ground-rules. [REVIEW]Dag Westerståhl & Maarten de Rijke - 1998 - Journal of Logic, Language and Information 7 (2):3-4.