63 found
Sort by:
Disambiguations:
Patrick Blackburn [41]P. Blackburn [13]Pierre Blackburn [9]
See also:
Profile: Patrick Blackburn (Roskilde University)
  1. 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  
     
    My bibliography  
     
    Export citation  
  2. Patrick Blackburn & Maarten De Rijke (forthcoming). Rijke. Zooming in, Zooming Out. Journal of Logic, Language and Information.
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. M. de Rijke & P. Blackburn (forthcoming). Special Issue on Combining Logics, Volume 37 (2) Of. Notre Dame Journal of Formal Logic.
     
    My bibliography  
     
    Export citation  
  4. Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano (2013). Completeness in Hybrid Type Theory. Journal of Philosophical Logic: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)  
     
    My bibliography  
     
    Export citation  
  5. 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 (5 more)  
     
    My bibliography  
     
    Export citation  
  6. Wilfried Meyer-Viol & Patrick Blackburn, Linguistics, Logic and Finite Trees.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  7. 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  
     
    My bibliography  
     
    Export citation  
  8. 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 (4 more)  
     
    My bibliography  
     
    Export citation  
  9. 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 (6 more)  
     
    My bibliography  
     
    Export citation  
  10. Patrick Blackburn & Balder Ten Cate (2006). Pure Extensions, Proof Rules, and Hybrid Axiomatics. Studia Logica 84 (2):277-322.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  11. 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  
  12. Patrick Blackburn (2005). Instructions for Authors. Journal of Logic, Language and Information 14 (1):491-496.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  13. 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 (...)
     
    My bibliography  
     
    Export citation  
  14. 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).
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  15. Patrick Blackburn & Michael Kohlhase (2004). Inference and Computational Semantics. Journal of Logic, Language and Information 13 (2):117-120.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  16. C. Areces, P. Blackburn, M. Marx, S. Cook, A. Kolokolova, T. Coquand, G. Sambin, J. Smith, S. Valentini & P. Dybjer (2003). Ardeshir, M., Ruitenburg, W. And Salehi, S., Intuitionistic. Annals of Pure and Applied Logic 124:301.
     
    My bibliography  
     
    Export citation  
  17. 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.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  18. P. Blackburn, C. Ghidini, R. Turner & F. Giunchiglia (eds.) (2003). Proceedings of the Fourth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'03), Lecture Notes in Artificial Intelligence, Vol. 2680. Springer.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  19. 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 (4 more)  
     
    My bibliography  
     
    Export citation  
  20. 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 (7 more)  
     
    My bibliography  
     
    Export citation  
  21. 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  
     
    My bibliography  
     
    Export citation  
  22. P. Blackburn, M. De Rijke, Y. Venema & Marcus Kracht (2002). REVIEWS-Modal Logic. Bulletin of Symbolic Logic 8 (2):299-300.
     
    My bibliography  
     
    Export citation  
  23. Patrick Blackburn (2002). Editorial. Journal of Logic, Language and Information 11 (1).
    Direct download  
     
    My bibliography  
     
    Export citation  
  24. Patrick Blackburn (2002). Modal Logic: Graph. Darst. 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  
     
    My bibliography  
     
    Export citation  
  25. 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  
  26. 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)  
     
    My bibliography  
     
    Export citation  
  27. Pierre Blackburn (2002). Trudy Govier, The Philosophy of Argument Reviewed By. Philosophy in Review 22 (6):415-417.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  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 (7 more)  
     
    My bibliography  
     
    Export citation  
  29. 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 (7 more)  
     
    My bibliography  
     
    Export citation  
  30. Patrick Blackburn & Maarten Marx Hybrid Logic (2001). Characterization, Interpolation and Complexity, by Carlos Areces, Patrick Blackburn and Maarten Marx. Journal of Symbolic Logic 66 (3):977-1010.
     
    My bibliography  
     
    Export citation  
  31. 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  
     
    My bibliography  
     
    Export citation  
  32. 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 (12 more)  
     
    My bibliography  
     
    Export citation  
  33. 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  
     
    My bibliography  
     
    Export citation  
  34. Patrick Blackburn (1999). Basic Model Theory, Kees Doets. Journal of Logic, Language and Information 8 (2):258-261.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  35. Patrick Blackburn (1999). Upcoming Themes. Journal of Logic, Language and Information 8 (2):263-263.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  36. P. Blackburn (1997). Reinhard Muskens, Meaning and Partiality. Journal of Logic Language and Information 6:353-355.
     
    My bibliography  
     
    Export citation  
  37. Patrick Blackburn (1997). Book Review. [REVIEW] Journal of Logic, Language and Information 6 (3).
    Direct download  
     
    My bibliography  
     
    Export citation  
  38. 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  
  39. 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  
  40. Patrick Blackburn & Wilfried Meyer-Viol (1997). Modal Logic and Model-Theoretic Syntax. In. In M. de Rijke (ed.), Advances in Intensional Logic. Kluwer. 29--60.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  41. 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 (2 more)  
     
    My bibliography  
     
    Export citation  
  42. 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  
  43. 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  
  44. Patrick Blackburn & Maarten de Rijke (1996). Special Issue on Combining Logics - Editor's Introduction. Notre Dame Journal of Formal Logic 37 (2):161-166.
     
    My bibliography  
     
    Export citation  
  45. 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)  
     
    My bibliography  
     
    Export citation  
  46. 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)  
     
    My bibliography  
     
    Export citation  
  47. Patrick Blackburn & Yde Venema (1995). Dynamic Squares. Journal of Philosophical Logic 24 (5):469 - 523.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  48. 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)  
     
    My bibliography  
     
    Export citation  
  49. Patrick Blackburn, Frank Beckman & Gabriel Falkenberg (1994). _]() Urnal of Semantics. Journal of Semantics 11.
     
    My bibliography  
     
    Export citation  
  50. 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.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
1 — 50 / 63