76 found
Order:
See also:
Profile: Patrick Blackburn (Roskilde University)
  1.  48
    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 (8 more)  
     
    Export citation  
     
    My bibliography   187 citations  
  2.  61
    Patrick Blackburn, Johan van Benthem & Frank Wolter (eds.) (2007). Handbook of Modal Logic. 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  
     
    My bibliography   12 citations  
  3.  28
    Carlos Areces, Patrick Blackburn & Maarten Marx (2001). Hybrid Logics: Characterization, Interpolation and Complexity. 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 (6 more)  
     
    Export citation  
     
    My bibliography   25 citations  
  4. P. Blackburn (2000). Representation, Reasoning, and Relational Structures: A Hybrid Logic Manifesto. Logic Journal of the IGPL 8 (3):339-365.
    This paper is about the good side of modal logic, the bad side of modal logic, and how hybrid logic takes the good and fixes the bad.In essence, modal logic is a simple formalism for working with relational structures . But modal logic has no mechanism for referring to or reasoning about the individual nodes in such structures, and this lessens its effectiveness as a representation formalism. In their simplest form, hybrid logics are upgraded modal logics in which reference to (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   18 citations  
  5.  26
    Patrick Blackburn & Balder Ten Cate (2006). Pure Extensions, Proof Rules, and Hybrid Axiomatics. 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 (4 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  6.  19
    Patrick Blackburn & Jerry Seligman (1995). Hybrid Languages. 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  
     
    My bibliography   20 citations  
  7.  65
    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)  
     
    Export citation  
     
    My bibliography   5 citations  
  8.  7
    Patrick Blackburn & Klaus Frovin Jørgensen (forthcoming). Arthur Prior and ‘Now’. Synthese:1-12.
    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 (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  9.  35
    Patrick Blackburn (2006). Arthur Prior and Hybrid Logic. 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 (5 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  10. Varol Akman & Patrick Blackburn (2000). Editorial: Alan Turing and Artificial Intelligence. [REVIEW] 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  
     
    My bibliography  
  11.  6
    Patrick Blackburn & Maarten De Rijke (forthcoming). Rijke. Zooming in, Zooming Out. Journal of Logic, Language and Information.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  12.  5
    C. Areces, P. Blackburn & M. Marx (2000). The Computational Complexity of Hybrid Temporal Logics. Logic Journal of the IGPL 8 (5):653-679.
    In their simplest form, hybrid languages are propositional modal languages which can refer to states. They were introduced by Arthur Prior, the inventor of tense logic, and played an important role in his work: because they make reference to specific times possible, they remove the most serious obstacle to developing modal approaches to temporal representation and reasoning. However very little is known about the computational complexity of hybrid temporal logics.In this paper we analyze the complexity of the satisfiability problem of (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   12 citations  
  13.  2
    Patrick Blackburn (2006). Arthur Prior and Hybrid Logic. Synthese 150 (3):329-372.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  14.  2
    P. Blackburn & M. Tzakova (1999). Hybrid Languages and Temporal Logic. Logic Journal of the IGPL 7 (1):27-54.
    Hybridization is a method invented by Arthur Prior for extending the expressive power of modal languages. Although developed in interesting ways by Robert Bull, and by the Sofia school , the method remains little known. In our view this has deprived temporal logic of a valuable tool.The aim of the paper is to explain why hybridization is useful in temporal logic. We make two major points, the first technical, the second conceptual. First, we show that hybridization gives rise to well-behaved (...)
    Direct download  
     
    Export citation  
     
    My bibliography   11 citations  
  15.  56
    Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano (2013). Completeness in Hybrid Type Theory. 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  
     
    My bibliography   1 citation  
  16.  5
    Carlos Areces, Patrick Blackburn & Maarten Marx (2003). Repairing the Interpolation Theorem in Quantified Modal Logic. 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 (4 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  17.  64
    Patrick Blackburn & Maarten Marx (2002). Remarks on Gregory's “Actually” Operator. 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  
     
    My bibliography   5 citations  
  18.  27
    Patrick Blackburn (1994). Tense, Temporal Reference, and Tense Logic. 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  
     
    My bibliography   9 citations  
  19.  6
    Patrick Blackburn (1992). Nominal Tense Logic. Notre Dame Journal of Formal Logic 34 (1):56-83.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   11 citations  
  20. Patrick Blackburn (2005). Representation and Inference for Natural Language: A First Course in Computational Semantics. 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  
     
    My bibliography   3 citations  
  21.  15
    Patrick Blackburn & Maarten Marx (2003). Constructive Interpolation in Hybrid Logic. 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  
     
    My bibliography   5 citations  
  22.  53
    Patrick Blackburn & Johan van Benthem (1988). Modal Logic: A Semantic Perspective. Ethics 98:501-517.
    . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 2 BASIC MODAL LOGIC . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  23.  12
    Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano (2012). Hybrid Type Theory: A Quartet in Four Movements. Principia 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 (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  24.  12
    Patrick Blackburn & Wilfried Meyer-Viol (1994). Linguistics, Logic and Finite Trees. 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  
     
    My bibliography   5 citations  
  25.  18
    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)  
     
    Export citation  
     
    My bibliography   3 citations  
  26.  30
    Patrick Blackburn & Edith Spaan (1993). A Modal Perspective on the Computational Complexity of Attribute Value Grammar. 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  
     
    My bibliography   4 citations  
  27.  59
    Patrick Blackburn & Johan Bos (2003). Computational Semantics. 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 (8 more)  
     
    Export citation  
     
    My bibliography  
  28.  21
    Patrick Blackburn (2002). Editorial. Journal of Logic, Language and Information 11 (1):1-1.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  29. Pierre Blackburn (1985). Joseph J. Levy Et Henri Cohen Dir., Darwin Après Darwin Reviewed By. Philosophy in Review 5 (7):295-298.
     
    Export citation  
     
    My bibliography  
  30.  4
    Patrick Blackburn & Maarten de Rijke (1997). Why Combine Logics? 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  
     
    Export citation  
     
    My bibliography   3 citations  
  31.  22
    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
  32. Patrick Blackburn, Frank Beckman & Gabriel Falkenberg (1994). _]() Urnal of Semantics. Journal of Semantics 11.
     
    Export citation  
     
    My bibliography   4 citations  
  33.  13
    Patrick Blackburn & Yde Venema (1995). Dynamic Squares. Journal of Philosophical Logic 24 (5):469 - 523.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  34.  65
    Patrick Blackburn (2001). Modal Logic as Dialogical Logic. Synthese 127 (1-2):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 (notably the use of nominals, special proposition symbols which name worlds) I will show how to lift the dialogical (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  35.  2
    P. Blackburn & M. Tzakova (1998). Hybrid Completeness. Logic Journal of the IGPL 6 (4):625-650.
    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 of (...)
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  36.  5
    Patrick Blackburn (1995). Introduction: Static and Dynamic Aspects of Syntactic Structure. [REVIEW] Journal of Logic, Language and Information 4 (1):1-4.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  37.  4
    Patrick Blackburn & Klaus Frovin Jørgensen (forthcoming). Reichenbach, Prior and Hybrid Tense Logic. Synthese:1-13.
    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 (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  38.  9
    B. Aldag, G. Antoniou, T. Aoto, P. Blackburn, K. Britz, M. Brown, A. Bundy, R. Cox, M. De Rijke & S. Demri (1999). Index of Authors of Volume 8. Journal of Logic, Language, and Information 8 (485):485.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  39.  33
    Patrick Blackburn (1999). Basic Model Theory, Kees Doets. Journal of Logic, Language and Information 8 (2):258-261.
  40.  32
    Patrick Blackburn & Michael Kohlhase (2004). Inference and Computational Semantics. Journal of Logic, Language and Information 13 (2):117-120.
  41.  9
    P. Blackburn, A. Bochman, T. Clausing, P. Dekker, J. Engelfriet, D. M. Gabbay, F. Giunchiglia, J. M. Goñimenoyo, G. Jäger & T. M. V. Janssen (2002). Index of Authors of Volume 11. Journal of Logic, Language and Information 11 (519):519.
    Direct download  
     
    Export citation  
     
    My bibliography  
  42.  20
    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)  
     
    Export citation  
     
    My bibliography  
  43.  7
    G. Allwein, C. Areces, G. Ben-Avi, R. la BerkBernardi, P. Blackburn, J. Bos, T. Braüner, J. M. Castano & R. Cooper (2004). Index of Authors of Volume 13. Journal of Logic, Language and Information 13 (535):535-535.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  44.  1
    Carlos Areces & Patrick Blackburn (2010). Special Issue on Hybrid Logics. Journal of Applied Logic 8 (4):303-304.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  45.  23
    P. Blackburn & B. ten Cate (2006). Pure Extensions, Proof Rules, and Hybrid Axiomatics. 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 (a decidable system with the same complexity as orthodox propositional modal logic) to the strong Priorean language (which offers full first-order expressivity).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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  46.  7
    Loredana Afanasiev, Patrick Blackburn, Ioanna Dimitriou, Gaiffe Evan, Goris Maarten & Marx Maarten (forthcoming). Rijke. PDL for Ordered Trees. Journal of Applied Non-Classical Logics.
    Direct download  
     
    Export citation  
     
    My bibliography  
  47. Pierre Blackburn (1994). Marc Ereshefsky, Ed., The Units of Evolution: Essays on the Nature of Species Reviewed By. Philosophy in Review 14 (2):92-94.
     
    Export citation  
     
    My bibliography  
  48.  4
    Patrick Blackburn & Wilfried Meyer-Viol (1997). Modal Logic and Model-Theoretic Syntax. In M. de Rijke (ed.), Advances in Intensional Logic. Kluwer 29--60.
    Direct download  
     
    Export citation  
     
    My bibliography  
  49.  4
    S. Aguzzoli, V. Akman, A. D. C. Bennett, P. Blackburn, S. Bringsjord, C. Caporale, A. Ciabattoni, B. J. Copeland, S. Demri & D. Dubois (2000). Index of Authors of Volume 9. Journal of Logic, Language, and Information 9 (519):519.
    Direct download  
     
    Export citation  
     
    My bibliography  
  50.  4
    Patrick Blackburn (2005). Instructions for Authors. Journal of Logic, Language and Information 14 (1):491-496.
1 — 50 / 76