HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Deep Inference for Hybrid Logic

Lutz Straßburger 1, 2
2 PARSIFAL - Proof search and reasoning with logic specifications
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France
Abstract : 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [13 references]  Display  Hide  Download

Contributor : Lutz Straßburger Connect in order to contact the contributor
Submitted on : Tuesday, July 31, 2007 - 10:21:48 AM
Last modification on : Thursday, January 20, 2022 - 5:30:44 PM
Long-term archiving on: : Friday, April 9, 2010 - 12:14:34 AM


Files produced by the author(s)


  • HAL Id : inria-00165998, version 1



Lutz Straßburger. Deep Inference for Hybrid Logic. International Workshop on Hybrid Logic 2007 (HyLo 2007), Aug 2007, Dublin, Ireland. ⟨inria-00165998⟩



Record views


Files downloads