27 found
Sort by:
  1. Patrick Blackburn & Maarten De Rijke (forthcoming). Rijke. Zooming in, Zooming Out. Journal of Logic, Language and Information.
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Maarten De Rijke (forthcoming). Modal Model Theory. Annals of Pure and Applied Logic.
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. Gabriel Infante-Lopez & Maarten De Rijke (2006). A Note on the Expressive Power of Probabilistic Context Free Grammars. 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)  
     
    My bibliography  
     
    Export citation  
  4. Loredana Afanasiev, Patrick Blackburn, Ioanna Dimitriou, Bertrand Gaiffe, Evan Goris, Maarten Marx & Maarten de Rijke (2005). PDL for Ordered Trees. Journal of Applied Non-Classical Logics 15 (2):115-135.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  5. Patrick Blackburn, Maarten de Rijke & Yde Venema (2002). Modal Logic. 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)  
     
    My bibliography  
     
    Export citation  
  6. Maarten de Rijke (2001). Handbook of Tableau Methods, Marcello D'Agostino, Dov M. Gabbay, Reiner Hähnle, and Joachim Posegga, Eds. Journal of Logic, Language and Information 10 (4):518-523.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  7. Maarten de Rijke (2000). A Note on Graded Modal Logic. 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)  
     
    My bibliography  
     
    Export citation  
  8. Dov M. Gabbay & Maarten de Rijke (eds.) (2000). Frontiers of Combining Systems. 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, (...)
     
    My bibliography  
     
    Export citation  
  9. Sergei Artemov, Sam Buss, Edmund Clarke Jr, Heinz Dieter Ebbinghaus, Hans Kamp, Phokion Kolaitis, Maarten de Rijke & Valeria de Paiva (1999). University of Sao Paulo (Sao Paulo), Brazil, July 28–31, 1998. Bulletin of Symbolic Logic 5 (3).
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  10. Maarten de Rijke (1999). Deduction Systems, Rolf Socher-Ambrosius and Patricia Johann. Journal of Logic, Language and Information 8 (4):476-478.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  11. Maarten de Rijke (1999). Logical Reasoning with Diagrams, Gerard Allwein and Jon Barwise, Eds. Journal of Logic, Language and Information 8 (3):387-390.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  12. Maarten de Rijke (1999). Review: Jon Barwise, Jerry Seligman, Information Flow. The Logic of Distributed Systems. [REVIEW] Journal of Symbolic Logic 64 (4):1836-1836.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  13. Jelle Gerbrandy, Maarten Marx, Maarten de Rijke & Yde Venema (eds.) (1999). Essays Dedicated to Johan van Benthem on the Occasion of His 50th Birthday. Amsterdam University Press.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  14. Oliver Lemon, Maarten de Rijke & Atsushi Shimojima (1999). Editorial: Efficacy of Diagrammatic Reasoning. [REVIEW] Journal of Logic, Language and Information 8 (3):265-271.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  15. Maarten de Rijke (1998). A System of Dynamic Modal Logic. 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)  
     
    My bibliography  
     
    Export citation  
  16. Dag Westerståhl & Maarten de Rijke (1998). Editorial: Special Issues – the Ground-Rules. [REVIEW] Journal of Logic, Language and Information 7 (2):3-4.
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  17. Patrick Blackburn & Maarten de Rijke (1997). Why Combine Logics? Studia Logica 59 (1):5-27.
    Combining logics has become a rapidly expanding entreprise 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. Using (...)
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  18. Patrick Blackburn & Maarten de Rijke (1997). Zooming in, Zooming Out. 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 (7 more)  
     
    My bibliography  
     
    Export citation  
  19. Natasha Kurtonina & Maarten de Rijke (1997). Bisimulations for Temporal Logic. 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 (7 more)  
     
    My bibliography  
     
    Export citation  
  20. Patrick Blackburn & Maarten de Rijke (1996). Editors' Introduction. 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 (4 more)  
     
    My bibliography  
     
    Export citation  
  21. Patrick Blackburn, Claire Gardent & Maarten De Rijke (1996). Rich Ontologies for Tense and Aspect. In Jerry Seligman & Dag Westerståhl (eds.), Logic, Language and Computation. Csli Publications, Stanford.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  22. Maarten De Rijke (1995). The Logic of Peirce Algebras. 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 (5 more)  
     
    My bibliography  
     
    Export citation  
  23. Maarten de Rijke & Yde Venema (1995). Sahlqvist's Theorem for Boolean Algebras with Operators with an Application to Cylindric Algebras. 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 (5 more)  
     
    My bibliography  
     
    Export citation  
  24. Wiebe Van Der Hoek & Maarten De Rijke (1993). Generalized Quantifiers and Modal Logic. 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)  
     
    My bibliography  
     
    Export citation  
  25. Maarten de Rijke (1992). The Modal Logic of Inequality. 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 (6 more)  
     
    My bibliography  
     
    Export citation  
  26. Maarten de Rijke (1992). Unary Interpretability Logic. Notre Dame Journal of Formal Logic 33 (2):249-272.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  27. Maarten de Rijke (1991). A Note on the Interpretability Logic of Finitely Axiomatized Theories. Studia Logica 50 (2):241-250.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation