Skip navigation
Skip navigation

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

Lellmann, Bjorn; Pattinson, Dirk

Description

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
URI: http://hdl.handle.net/1885/65962
Source: Lecture Notes in Computer Science (LNCS)
DOI: 10.1007/978-3-642-40537-2_19

Download

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:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator