Internalization: The Case of Hybrid Logics

  title={Internalization: The Case of Hybrid Logics},
  author={Jerry Seligman},
  journal={J. Log. Comput.},
A sequent calculus for hybrid logics is developed from a calculus for classical predicate logic by a series of transformations. We formalize the semantic theory of hybrid logic using a sequent calculus for predicate logic plus axioms. This works, but it is ugly. The unattractive features are removed one-by-one, until the final vestiges of the metalanguage can be set aside to reveal a fully internalized calculus. The techniques are quite general and can be applied to a wide range of hybrid and… CONTINUE READING
21 Citations
13 References
Similar Papers


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

Proof theory for contextual reasoning

  • J. Seligman
  • Basic Proof Theory , volume 43 of Tracts in…
  • 1998
2 Excerpts

Basic Proof Theory, volume 43 of Tracts in Theoretical Computer

  • A. S. Troelstra, H. Schwichtenberg
  • 1997
2 Excerpts

The logic of correct description

  • J. Seligman
  • Advances in Intensional Logic, M. de Rijke, ed…
  • 1997
1 Excerpt

Similar Papers

Loading similar papers…