Internalizing labelled deduction

  title={Internalizing labelled deduction},
  author={Patrick Blackburn},
  journal={J. Log. Comput.},
This paper shows how to internalize the Kripke satisfaction definition using the basic hybrid language , and explores the proof theoretic consequences of doing so. The basic hybrid language enables the transfer of classic Gabbay-style labelled deduction methods from the metalanguage to the object language, and the logical handling of labelling discipline. This internalized approach to labelled deduction links neatly with the Gabbay-style rules now widely used in modal Hilbert-systems, enables… CONTINUE READING
Highly Influential
This paper has highly influenced 12 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-10 of 89 extracted citations


Publications referenced by this paper.
Showing 1-10 of 43 references

Hybrid logics

  • C. Areces, P. Blackburn, M. Marx
  • Characterization, Interpolation and Complexity…
  • 1999
Highly Influential
9 Excerpts


  • A. Prior
  • Present and Future . Oxford University Press…
  • 1967
Highly Influential
20 Excerpts

The logic of correct description

  • J. Seligman
  • Advances in Intensional Logic , M. de Rijke, ed…
  • 1997
Highly Influential
6 Excerpts

Similar Papers

Loading similar papers…