Internalizing Labelled Deduction (2000)

Cached

Download Links

by Patrick Blackburn
Venue:Journal of Logic and Computation
Citations:77 - 21 self

Documents Related by Co-Citation

108 Hybrid Languages – Patrick Blackburn, Jerry Seligman - 1995
29 Tableau calculi for hybrid logics – M Tzakova - 1999
72 Modal logic with names – G Gargov, V Goranko - 1993
173 Labeled Deductive Systems – D Gabbay - 1996
62 An Essay in Combinatory Dynamic Logic – S Passy, T Tinchev - 1991
40 Hierarchies of Modal and Temporal Logics with Reference Pointers – Valentin Goranko - 1995
184 Past, present and future – A Prior - 1967
101 Hybrid Logics: Characterization, Interpolation and Complexity – Carlos Areces, Patrick Blackburn, Maarten Marx - 1999
23 The Logic of Correct Description – Jerry Seligman - 1995