Blackburn, Patrick, 1959-....
Blackburn, Patrick
Patrick Blackburn
VIAF ID: 85380315 ( Personal )
Permalink: http://viaf.org/viaf/85380315
Preferred Forms
-
- 200 _ | ‡a Blackburn ‡b Patrick ‡f 1959-....
-
- 100 1 _ ‡a Blackburn, Patrick
-
-
-
- 100 1 _ ‡a Blackburn, Patrick ‡d 1959-
- 100 1 _ ‡a Blackburn, Patrick ‡d 1959-
- 100 1 _ ‡a Blackburn, Patrick ‡d 1959-
-
-
- 100 1 0 ‡a Blackburn, Patrick, ‡d 1959-
-
-
- 100 1 _ ‡a Blackburn, Patrick, ‡d 1959-....
- 100 0 _ ‡a Patrick Blackburn
4xx's: Alternate Name Forms (4)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
Automatisation de la Construction Sémantique dans le Lambda Calcul Simplement Typé avec plusieurs Types de base | |
Dynamic squares | |
Handbook of modal logic | |
Hybrid languages | |
Hybrid logics : characterization, interpolation and complexity | |
Inference in computational semantics : Third Workshop on Inference in computational semantics, co-located with the International joint conference on Automated reasoning (IJCAR), ICoS-3, Siena, Italy, June 18-19, 2001 | |
Learn prolog now ! | |
L'implicature comme un processus interactif. | |
Linguistics, logic, and finite trees | |
Logic, rationality, and interaction 7th international workshop, LORI 2019, Chongqing, China, October 18-21, 2019 : proceedings | |
Modal logic: a semantic perspective | |
Modal logic and attribute value structures | |
Modal memory logics | |
A modal perspective on the computational complexity of attribute value grammar | |
Modeling and using context : 4th International and Interdisciplinary Conference, CONTEXT 2003, Stanford, CA, USA, June 23-25, 2003 : proceedings | |
Nominal tense logic | |
Prolog, tout de suite ! | |
proof system for finite trees | |
Reasoning Tasks for Hybrid Logics. | |
Relational methods in logic, language and information | |
Representation and inference for natural language : a first course in computational semantics | |
specification language for lexical functional grammars | |
Specifying syntactic structures | |
Tableaux for quantified hybrid logic | |
Talking about trees | |
Techniques de raisonnement automatique pour les logiques hybrides. | |
TITTL 2011 | |
Tools for Teaching Logic Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings | |
Why combine logics? | |
Zooming in, zooming out |