Internalizing Labelled Deduction (2000)

Cached

Download Links

by Patrick Blackburn
Venue:Journal of Logic and Computation
Citations:74 - 20 self

Active Bibliography

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
14 Bringing them all Together – Carlos Areces, Patrick Blackburn, Samuel R. Delany - 2001
11 Representation, Reasoning, and Relational Structures: a Hybrid Logic Manifesto – Patrick Blackburn - 2000
Conferences – First International Workshop, Patrick Blackburn, Universität Des Saarl - 1995
100 Hybrid Logics: Characterization, Interpolation and Complexity – Carlos Areces, Patrick Blackburn, Maarten Marx - 1999
8 Morals and Modals – Patrick Blackburn - 1986
16 Pure extensions, proof rules and hybrid axiomatics – Patrick Blackburn, Balder Ten Cate - 2004
36 Hybrid languages and temporal logic – Patrick Blackburn, Miroslava Tzakova, In Memory Of George Gargov - 1999
8 Fine Grained Theories of Time – Patrick Blackburn - 1992
34 Hybrid Logics – Carlos Areces, Balder ten Cate
55 The Computational Complexity of Hybrid Temporal Logics – Carlos Areces, Patrick Blackburn, Maarten Marx - 2000
6 Hybrid Logic is the Bounded Fragment of First Order Logic – Carlos Areces , Patrick Blackburn, Maarten Marx - 1999
13 Hybrid Completeness – Patrick Blackburn, Miroslava Tzakova - 1998
17 Hybridizing Concept Languages – Patrick Blackburn, Miroslava Tzakova
89 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
16 Cut-free Display Calculi for Nominal Tense Logics – Stéphane Demri, Rajeev Goré - 1998
2 Temporal Logics of Computations - Introductory Course – Val Goranko - 2000