Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics

The admissible rules of a logic are those rules under which the set of theorems of the logic is closed. In a previous paper by the authors, formal systems for deriving the admissible rules of Intuitionistic Logic and a class of modal logics were defined in a proof-theoretic framework where the basic objects of the systems are sequent rules. Here, the framework is extended to cover derivability of the admissible rules of intermediate logics and a wider class of modal logics, in this case, by taking hypersequent rules as the basic objects.

• Type: Conference
• Year: 2009
• Where: LFCS
• Authors: Rosalie Iemhoff, George Metcalfe
• Keywords: Admissible Rules, Artificial Intelligence, LFCS 2009, Logics, Modal Logics