Internalizing Labelled Deduction (2000)

Cached

Download Links

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

Documents Related by Co-Citation

29 Tableau calculi for hybrid logics – M Tzakova - 1999
106 Hybrid Languages – Patrick Blackburn, Jerry Seligman - 1995
74 and V.Goranko. Modal logic with names – G Gargov - 1993
173 Labeled Deductive Systems – D Gabbay - 1991
64 An essay in combinatory dynamic logic – S Passy, T Tinchev - 1991
40 Hierarchies of Modal and Temporal Logics with Reference Pointers – Valentin Goranko - 1995
100 Hybrid Logics: Characterization, Interpolation and Complexity – Carlos Areces, Patrick Blackburn, Maarten Marx - 1999
23 The Logic of Correct Description – Jerry Seligman - 1995
180 Past, Present and Future – A N Prior - 1967
13 Hybrid Completeness – Patrick Blackburn, Miroslava Tzakova - 1998
36 Hybrid languages and temporal logic – Patrick Blackburn, Miroslava Tzakova, In Memory Of George Gargov - 1999
43 Nominal tense logic. Notre Dame – P Blackburn - 1993
34 Labelled Propositional Modal Logics: Theory and Practice – David Basin, Seán Matthews, Luca Viganò - 1996
34 An approach to tense logic – R A Bull - 1970
15 Sequent Calculi for Nominal Tense Logics: A Step Towards Mechanization? – Stéphane Demri - 1999
89 A road-map on complexity for hybrid logics – Carlos Areces, Patrick Blackburn, Maarten Marx - 1999
54 The Modal Logic of Inequality – Maarten De Rijke - 1992
8 An approach to tense logic, Theoria – R A BULL - 1970
16 Cut-free Display Calculi for Nominal Tense Logics – Stéphane Demri, Rajeev Goré - 1998