Multiple-conclusion rules, hypersequent syntax and step frames

Open Access
Authors
Publication date 2014
Host editors
  • R. Goré
  • B. Kooi
  • A. Kurucz
Book title Advances in Modal Logic
Book subtitle AiML 10
ISBN
  • 9781848901513
Event Advances in Modal Logic 2014 (AiML 2014), Groningen, the Netherlands
Pages (from-to) 54-73
Publisher London: College Publications
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Abstract We investigate proof theoretic properties of logical systems via algebraic methods. We introduce a calculus for deriving multiple-conclusion rules and show that it is a Hilbert style counterpart of hypersequent calculi. Using step-algebras we develop a criterion establishing the bounded proof property and finite model property for these systems. Finally, we show how this criterion can be applied to universal classes axiomatized by certain canonical rules, thus recovering and extending known results from both semantically and proof-theoretically inspired modal literature.
Document type Conference contribution
Language English
Published at http://www.aiml.net/volumes/volume10/Bezhanishvili-Ghilardi.pdf
Other links http://www.aiml.net/volumes/volume10/
Downloads
Bezhanishvili-Ghilardi (Final published version)
Permalink to this page
Back