•  30
    How can computers distinguish the coherent from the unintelligible, recognize new information in a sentence, or draw inferences from a natural language passage? Computational semantics is an exciting new field that seeks answers to these questions, and this volume is the first textbook wholly devoted to this growing subdiscipline. The book explains the underlying theoretical issues and fundamental techniques for computing semantic representations for fragments of natural language. This volume wi…Read more
  •  26
    Rijke. PDL for ordered trees
    with Loredana Afanasiev, Ioanna Dimitriou, Gaiffe Evan, Goris Maarten, and Marx Maarten
    Journal of Applied Non-Classical Logics. forthcoming.
  •  60
    Modal logic
    Cambridge University Press. 2001.
    This modern, advanced textbook reviews modal logic, a field which caught the attention of computer scientists in the late 1970's.
  •  2
    Editorial
    Journal of Logic, Language and Information 11 (1): 1-1. 2002.
  •  2
    Book Review (review)
    Journal of Logic, Language and Information 6 (3): 353-355. 1997.
  •  64
    Reichenbach, Prior and hybrid tense logic
    with Klaus Frovin Jørgensen
    Synthese 193 (11): 3677-3689. 2016.
    In this paper we argue that Prior and Reichenbach are best viewed as allies, not antagonists. We do so by combining the central insights of Prior and Reichenbach in the framework of hybrid tense logic. This overcomes a well-known defect of Reichenbach’s tense schema, namely that it gives multiple representations to sentences in the future perfect and the future-in-the-past. It also makes it easy to define an iterative schema for tense that allows for multiple points of reference, a possibility n…Read more
  •  15
    Special Issue on Hybrid Logics
    with Carlos Areces
    Journal of Applied Logic 8 (4): 303-304. 2010.
  •  65
    Modal Logic As Dialogical Logic
    Synthese 127 (1-2): 57-93. 2001.
    The title reflects my conviction that, viewed semantically,modal logic is fundamentally dialogical; this conviction is based on the key role played by the notion of bisimulation in modal model theory. But this dialogical conception of modal logic does not seem to apply to modal proof theory, which is notoriously messy. Nonetheless, by making use of ideas which trace back to Arthur Prior (notably the use of nominals, special proposition symbols which ‘name’ worlds) I will show how to lift the dia…Read more
  •  62
    Inference and computational semantics
    with Michael Kohlhase
    Journal of Logic, Language and Information 13 (2): 117-120. 2004.
  •  51
    Computational Semantics
    with Johan Bos
    Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 18 (1): 27-45. 2010.
    ...
  •  67
    Arthur Prior and Hybrid Logic
    Synthese 150 (3): 329-372. 2006.
    Contemporary hybrid logic is based on the idea of using formulas as terms, an idea invented and explored by Arthur Prior in the mid-1960s. But Prior’s own work on hybrid logic remains largely undiscussed. This is unfortunate, since hybridisation played a role that was both central to and problematic for his philosophical views on tense. In this paper I introduce hybrid logic from a contemporary perspective, and then examine the role it played in Prior’s work.
  •  13
    Upcoming Themes
    Journal of Logic, Language and Information 8 (2): 263-263. 1999.
  • REVIEWS-Modal logic
    with M. De Rijke, Y. Venema, and Marcus Kracht
    Bulletin of Symbolic Logic 8 (2): 299-300. 2002.
  •  124
    Completeness in Hybrid Type Theory
    with Carlos Areces, Antonia Huertas, and María Manzano
    Journal of Philosophical Logic (2-3): 1-30. 2013.
    We show that basic hybridization (adding nominals and @ operators) makes it possible to give straightforward Henkin-style completeness proofs even when the modal logic being hybridized is higher-order. The key ideas are to add nominals as expressions of type t, and to extend to arbitrary types the way we interpret $@_i$ in propositional and first-order hybrid logic. This means: interpret $@_i\alpha _a$ , where $\alpha _a$ is an expression of any type $a$ , as an expression of type $a$ that rigid…Read more
  •  176
    Modal Logic: Graph. Darst
    with Maarten de Rijke and Yde Venema
    Cambridge University Press. 2001.
    This modern, advanced textbook reviews modal logic, a field which caught the attention of computer scientists in the late 1970's.
  •  18
    Hybrid completeness
    with M. Tzakova
    Logic Journal of the IGPL 6 (4): 625-650. 1998.
    In this paper we discuss two hybrid languages, ℒ and ℒ, and provide them with complete axiomatizations. Both languages combine features of modal and classical logic. Like modal languages, they contain modal operators and have a Kripke semantics. Unlike modal languages, in these systems it is possible to 'label' states by using A and ↓ to bind special state variables.This paper explores the consequences of hybridization for completeness. As we shall show, the challenge is to blend the modal idea …Read more
  • Characterization, Interpolation and Complexity, by Carlos Areces, Patrick Blackburn and Maarten Marx
    with Maarten Marx Hybrid Logic
    Journal of Symbolic Logic 66 (3): 977-1010. 2001.
  •  29
    Linguistics, Logic and Finite Trees
    Logic Journal of the IGPL 2 (1): 3-29. 1994.
    A modal logic is developed to deal with finite ordered binary trees a they are used in linguistics. A modal language is introduced with operators for the ‘mother of’, ‘first daughter of’ and ‘second daughter of’ relations together with their transitive reflexive closures. The relevant class of tree models is defined and three linguistic applications of this language are discussed: context free grammars, command relations, and trees decorated with feature structures. An axiomatic proof system is …Read more
  •  26
    Zooming in, zooming out
    with Maarten De Rijke
    Journal of Logic, Language and Information 6 (1): 5-31. 1997.
    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.
  •  16
    Hybrid Type Theory: A Quartet in Four Movements DOI:10.5007/1808-1711.2011v15n2p225
    with Carlos Areces, Antonia Huertas, and María Manzano
    Principia: An International Journal of Epistemology 15 (2): 225-247. 2011.
    This paper sings a song — a song created by bringing together the work of four great names in the history of logic: Hans Reichenbach, Arthur Prior, Richard Montague, and Leon Henkin. Although the work of the first three of these authors have previously been combined, adding the ideas of Leon Henkin is the addition required to make the combination work at the logical level. But the present paper does not focus on the underlying technicalities rather it focusses on the underlying instruments, and …Read more