|
|
Logic Journal of the IGPL 8:3
– C. Areces, E. Franconi, R. Goré, M. de Rijke, H. Schlingloff, I. Horrocks, U. Sattler, S. Tobies, U. Hustadt, H. de Nivelle, R.A. Schmidt, Çî Å, P. Patel-Schneider, R. Sebastiani, N. Alechina, N. Immerman, P. Blackburn
- 2000
|
|
11
|
Bringing them all Together
– Carlos Areces, Patrick Blackburn, Samuel R. Delany
- 2001
|
|
10
|
Representation, Reasoning, and Relational Structures: a Hybrid Logic Manifesto
– Patrick Blackburn
- 2000
|
|
|
Conferences
– First International Workshop, Patrick Blackburn, Universität Des Saarl
- 1995
|
|
94
|
Hybrid Logics: Characterization, Interpolation and Complexity
– Carlos Areces, Patrick Blackburn, Maarten Marx
- 1999
|
|
5
|
Morals and Modals
– Patrick Blackburn
- 1986
|
|
14
|
Pure extensions, proof rules and hybrid axiomatics
– Patrick Blackburn, Balder Ten Cate
- 2004
|
|
32
|
Hybrid languages and temporal logic
– Patrick Blackburn, Miroslava Tzakova, In Memory Of George Gargov
- 1999
|
|
8
|
Fine Grained Theories of Time
– Patrick Blackburn
- 1992
|
|
25
|
Hybrid Logics
– Carlos Areces, Balder ten Cate
|
|
47
|
The Computational Complexity of Hybrid Temporal Logics
– Carlos Areces, Patrick Blackburn, Maarten Marx
- 2000
|
|
13
|
Hybrid Completeness
– Patrick Blackburn, Miroslava Tzakova
- 1998
|
|
5
|
Hybrid Logic is the Bounded Fragment of First Order Logic
– Carlos Areces , Patrick Blackburn, Maarten Marx
- 1999
|
|
15
|
Hybridizing Concept Languages
– Patrick Blackburn, Miroslava Tzakova
|
|
84
|
A road-map on complexity for hybrid logics
– Carlos Areces, Patrick Blackburn, Maarten Marx
- 1999
|
|
15
|
Sequent Calculi for Nominal Tense Logics: A Step Towards Mechanization?
– Stéphane Demri
- 1999
|
|
4
|
Description Logics: Foundations for Class-based Knowledge Representation
– Diego Calvanese, Maurizio Lenzerini
- 2002
|
|
2
|
Temporal Logics of Computations - Introductory Course
– Val Goranko
- 2000
|
|
16
|
Cut-free Display Calculi for Nominal Tense Logics
– Stéphane Demri, Rajeev Goré
- 1998
|
