Skip navigation
Skip navigation

Correspondence between Modal Hilbert Axioms and Sequent Rules with an Application to S5

Lellmann, Bjorn; Pattinson, Dirk


Which modal logics can be 'naturally' captured by a sequent system? Clearly, this question hinges on what one believes to be natural, i.e. which format of sequent rules one is willing to accept. This paper studies the relationship between the format of se

CollectionsANU Research Publications
Date published: 2013
Type: Journal article
Source: Lecture Notes in Computer Science (LNCS)
DOI: 10.1007/978-3-642-40537-2_19


File Description SizeFormat Image
01_Lellmann_Correspondence_between_Modal_2013.pdf271.38 kBAdobe PDF    Request a copy

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  23 August 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator