Deep Inference for Hybrid Logic - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year :

Deep Inference for Hybrid Logic


This paper describes work in progress on using deep inference for designing a deductive system for hybrid logic. We will see a cut-free system and prove its soundness and completeness. An immediate observation about the system is that there is no need for additional rewrite rules as in Blackburn's tableaux, nor substitution rules as in Seligman's sequent system.
Fichier principal
Vignette du fichier
hybrid.pdf (144.81 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00165998 , version 1 (31-07-2007)


  • HAL Id : inria-00165998 , version 1


Lutz Strassburger. Deep Inference for Hybrid Logic. International Workshop on Hybrid Logic 2007 (HyLo 2007), Aug 2007, Dublin, Ireland. ⟨inria-00165998⟩
141 View
24 Download


Gmail Facebook Twitter LinkedIn More