58 found
Order:
See also
Patrick Blackburn
Roskilde University
  1.  82
    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.
  2. Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2004 - Studia Logica 76 (1):142-148.
     
    Export citation  
     
    Bookmark   51 citations  
  3.  68
    Arthur Prior and Hybrid Logic.Patrick Blackburn - 2006 - Synthese 150 (3):329-372.
    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.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  4.  72
    Handbook of Modal Logic.Patrick Blackburn, Johan van Benthem & Frank Wolter (eds.) - 2007 - Elsevier.
    The Handbook of Modal Logic contains 20 articles, which collectively introduce contemporary modal logic, survey current research, and indicate the way in which the field is developing. The articles survey the field from a wide variety of perspectives: the underling theory is explored in depth, modern computational approaches are treated, and six major applications areas of modal logic (in Mathematics, Computer Science, Artificial Intelligence, Linguistics, Game Theory, and Philosophy) are surveyed. The book contains both well-written expository articles, suitable for beginners (...)
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  5.  49
    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 (or even quantify over) worlds. The use of strong hybrid languages dates back to at least [Pri67], but recent work (for example [BS98, BT98a, BT99]) has focussed on a more constrained system called $\mathscr{H}(\downarrow, @)$ . We show in detail that $\mathscr{H}(\downarrow, @)$ is modally natural. We begin by studying its expressivity, and provide model theoretic characterizations (via a restricted notion of Ehrenfeucht-Fraisse game, and an enriched notion of (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  6. Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2002 - Bulletin of Symbolic Logic 8 (2):299-301.
    Direct download  
     
    Export citation  
     
    Bookmark   23 citations  
  7.  29
    Hybrid Languages.Patrick Blackburn & Jerry Seligman - 1995 - Journal of Logic, Language and Information 4 (3):251-272.
    Hybrid languages have both modal and first-order characteristics: a Kripke semantics, and explicit variable binding apparatus. This paper motivates the development of hybrid languages, sketches their history, and examines the expressive power of three hybrid binders. We show that all three binders give rise to languages strictly weaker than the corresponding first-order language, that full first-order expressivity can be gained by adding the universal modality, and that all three binders can force the existence of infinite models and have undecidable satisfiability (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  8.  59
    Pure Extensions, Proof Rules, and Hybrid Axiomatics.Patrick Blackburn & Balder Ten Cate - 2006 - Studia Logica 84 (2):277-322.
    In this paper we argue that hybrid logic is the deductive setting most natural for Kripke semantics. We do so by investigating hybrid axiomatics for a variety of systems, ranging from the basic hybrid language to the strong Priorean language . We show that hybrid logic offers a genuinely first-order perspective on Kripke semantics: it is possible to define base logics which extend automatically to a wide variety of frame classes and to prove completeness using the Henkin method. In the (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  9.  85
    Completeness in Hybrid Type Theory.Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano - 2013 - Journal of Philosophical Logic (2-3):1-30.
    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 (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  10.  16
    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 (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  11.  72
    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.
  12.  3
    Completeness in Hybrid Type Theory.Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano - 2014 - Journal of Philosophical Logic 43 (2-3):209-238.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  13.  13
    Nominal Tense Logic.Patrick Blackburn - 1992 - Notre Dame Journal of Formal Logic 34 (1):56-83.
  14.  34
    Tense, Temporal Reference, and Tense Logic.Patrick Blackburn - 1994 - Journal of Semantics 11 (1-2):83-101.
    This paper examines extensions of Priorean tense logic in which reference to rimes is possible. The key technical idea is to sort the atomic symbols of Prior's language and to impose different interpretational restrictions on the different sorts. Among the sorts introduced are nominals (which permit Reichenbachian analyses of tense and tense-in-texts to be reconstructed in tense logic) and sorts which mimic temporal indexicals and calendar terms. The possibilities raised by sorting richer systems are briefly discussed.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  15.  29
    Arthur Prior and ‘Now’.Patrick Blackburn & Klaus Frovin Jørgensen - 2016 - Synthese 193 (11).
    On the 4th of December 1967, Hans Kamp sent his UCLA seminar notes on the logic of ‘now’ to Arthur N. Prior. Kamp’s two-dimensional analysis stimulated Prior to an intense burst of creativity in which he sought to integrate Kamp’s work into tense logic using a one-dimensional approach. Prior’s search led him through the work of Castañeda, and back to his own work on hybrid logic: the first made temporal reference philosophically respectable, the second made it technically feasible in a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  92
    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   5 citations  
  17. Editorial: Alan Turing and Artificial Intelligence. [REVIEW]Varol Akman & Patrick Blackburn - 2000 - Journal of Logic, Language and Information 9 (4):391-395.
    Department of Computer Engineering, Bilkent University, 06533 Ankara, Turkey E-mail: akman@cs.bilkent.edu.tr; http://www.cs.bilkent.edu.tr/?akman..
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark  
  18. Representation and Inference for Natural Language: A First Course in Computational Semantics.Patrick Blackburn - 2005 - Center for the Study of Language and Information.
    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 will be an essential text for computer scientists, linguists, and anyone (...)
     
    Export citation  
     
    Bookmark   3 citations  
  19.  35
    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 (8 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  20.  97
    Modal Logic As Dialogical Logic.Patrick Blackburn - 2001 - Synthese 127 (1):57-93.
    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 I will show how to lift the dialogical conception to modal proof theory. I argue that this shift (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  21.  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  
     
    Bookmark   6 citations  
  22.  22
    Hybrid Type Theory: A Quartet in Four Movements.Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano - 2011 - Principia: An International Journal of Epistemology 15 (2):225.
    Este artigo canta uma canção — uma canção criada ao unir o trabalho de quatro grandes nomes na história da lógica: Hans Reichenbach, Arthur Prior, Richard Montague, e Leon Henkin. Embora a obra dos primeiros três desses autores tenha sido previamente combinada, acrescentar as ideias de Leon Henkin é o acréscimo requerido para fazer com que essa combinação funcione no nível lógico. Mas o presente trabalho não se concentra nas tecnicalidades subjacentes (que podem ser encontradas em Areces, Blackburn, Huertas, e (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  23.  59
    Modal Logic: A Semantic Perspective.Patrick Blackburn & Johan van Benthem - 1988 - Ethics 98:501-517.
    . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 2 BASIC MODAL LOGIC . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  24.  52
    A Modal Perspective on the Computational Complexity of Attribute Value Grammar.Patrick Blackburn & Edith Spaan - 1993 - Journal of Logic, Language and Information 2 (2):129-169.
    Many of the formalisms used in Attribute Value grammar are notational variants of languages of propositional modal logic, and testing whether two Attribute Value Structures unify amounts to testing for modal satisfiability. In this paper we put this observation to work. We study the complexity of the satisfiability problem for nine modal languages which mirror different aspects of AVS description formalisms, including the ability to express re-entrancy, the ability to express generalisations, and the ability to express recursive constraints. Two main (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  25.  16
    Linguistics, Logic and Finite Trees.Patrick Blackburn & Wilfried Meyer-Viol - 1994 - Logic Journal of the IGPL 2 (1):3-29.
    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 given for which completeness is (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  26. Computational Semantics.Patrick Blackburn & Johan Bos - 2003 - Theoria 18 (1):27-45.
    In this article we discuss what constitutes a good choice of semantic representation, compare different approaches of constructing semantic representations for fragments of natural language, and give an overview of recent methods for employing inference engines for natural language understanding tasks.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark  
  27.  24
    Dynamic Squares.Patrick Blackburn & Yde Venema - 1995 - Journal of Philosophical Logic 24 (5):469 - 523.
  28.  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  
     
    Bookmark   2 citations  
  29.  7
    Introduction: Static and Dynamic Aspects of Syntactic Structure. [REVIEW]Patrick Blackburn - 1995 - Journal of Logic, Language and Information 4 (1):1-4.
  30. 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.
  31. Representation and Inference for Natural Language.Patrick Blackburn & Johan Bos - 2007 - Studia Logica 85 (3):413-418.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  21
    Editorial.Patrick Blackburn - 2002 - Journal of Logic, Language and Information 11 (1):1-1.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  16
    Reichenbach, Prior and Hybrid Tense Logic.Patrick Blackburn & Klaus Frovin Jørgensen - 2016 - Synthese 193 (11):3677-3689.
    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 noted (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34.  38
    Inference and Computational Semantics.Patrick Blackburn & Michael Kohlhase - 2004 - Journal of Logic, Language and Information 13 (2):117-120.
  35.  17
    Rijke. PDL for Ordered Trees.Loredana Afanasiev, Patrick Blackburn, Ioanna Dimitriou, Gaiffe Evan, Goris Maarten & Marx Maarten - forthcoming - Journal of Applied Non-Classical Logics.
  36.  36
    Basic Model Theory, Kees Doets.Patrick Blackburn - 1999 - Journal of Logic, Language and Information 8 (2):258-261.
  37.  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  
     
    Bookmark  
  38.  5
    Computational Semantics.Patrick Blackburn & Johan Bos - 2003 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 18 (1):27-45.
    In this article we discuss what constitutes a good choice of semantic representation, compare different approaches of constructing semantic representations for fragments of natural language, and give an overview of recent methods for employing inference engines for natural language understanding tasks.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  39.  2
    Computational Semantics.Patrick Blackburn & Johan Bos - 2003 - Theoria : An International Journal for Theory, History and Fundations of Science 18 (1):27-45.
    In this article we discuss what constitutes a good choice of semantic representation, compare different approaches of constructing semantic representations for fragments of natural language, and give an overview of recent methods for employing inference engines for natural language understanding tasks.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  40.  12
    Book Review. [REVIEW]Patrick Blackburn - 1997 - Journal of Logic, Language and Information 6 (3):353-355.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  5
    Modal Logic and Model-Theoretic Syntax.Patrick Blackburn & Wilfried Meyer-Viol - 1997 - In M. de Rijke (ed.), Advances in Intensional Logic. Kluwer Academic Publishers. pp. 29--60.
  42.  5
    Instructions for Authors.Patrick Blackburn - 2005 - Journal of Logic, Language and Information 14 (1):491-496.
  43.  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  
     
    Bookmark  
  44.  4
    Upcoming Themes.Patrick Blackburn - 1999 - Journal of Logic, Language and Information 8 (2):263-263.
  45.  2
    Third International Workshop on Hybrid Logic.Patrick Blackburn - 2001 - Logic Journal of the IGPL 9 (5):735-737.
  46.  1
    Special Issue on Hybrid Logics.Carlos Areces & Patrick Blackburn - 2010 - Journal of Applied Logic 8 (4):303-304.
  47.  1
    Hybrid Type Theory: A Quartet in Four Movements DOI:10.5007/1808-1711.2011v15n2p225.Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano - 2012 - Principia: An International Journal of Epistemology 15 (2).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48. 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  
     
    Export citation  
     
    Bookmark  
  49. Characterization, Interpolation and Complexity, by Carlos Areces, Patrick Blackburn and Maarten Marx.Patrick Blackburn & Maarten Marx Hybrid Logic - 2001 - Journal of Symbolic Logic 66 (3):977-1010.
     
    Export citation  
     
    Bookmark  
  50. Handbook of Modal Logic.Patrick Blackburn, Johan Van Benthem & Frank Wolter (eds.) - 2006 - Elsevier.
    No categories
     
    Export citation  
     
    Bookmark  
1 — 50 / 58