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

https://hal.inria.fr/inria-00165998
Contributor : Lutz Straßburger <>
Submitted on : Tuesday, July 31, 2007 - 10:21:48 AM
Last modification on : Thursday, January 7, 2021 - 3:40:14 PM
Long-term archiving on: : Friday, April 9, 2010 - 12:14:34 AM

File

hybrid.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00165998, version 1

Collections

Citation

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

Share

Metrics

Record views

273

Files downloads

87