Internalizing Labelled Deduction (2000)

View PDF

Download Links

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

Documents Related by Co-Citation

110 Hybrid Languages – Patrick Blackburn, Jerry Seligman - 1995
30 Tableaux calculi for hybrid logics – M Tzakova
75 Modal logic with names – G Gargov, V Goranko - 1993
179 Labelled Deductive Systems – D Gabbay - 1996
66 An essay in combinatory dynamic logic – S Passy, T Tinchev - 1991
43 Hierarchies of Modal and Temporal Logics with Reference Pointers – Valentin Goranko - 1995
105 Hybrid Logics: Characterization, Interpolation and Complexity – Carlos Areces, Patrick Blackburn, Maarten Marx - 1999
24 The Logic of Correct Description – Jerry Seligman - 1995
210 Past, Present and Future – A Prior - 1967