FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Nested sequents for modal logics and beyond

Author: Sonia Marin

Paper Information

Title:Nested sequents for modal logics and beyond
Authors:Sonia Marin
Proceedings:TYDI-0 Abstracts
Editor: Lutz Stra├čburger
Keywords:logic, proof theory, nested sequents
Abstract:

ABSTRACT. In this talk, we will review the different ways nested sequents have been used to give cut-free deductive systems for various logics, in particular many that cannot be handled in ordinary (Gentzen) calculi, and other applications as interpolation results, realisation theorems for justification logics, etc.

Pages:3
Talk:Jul 07 12:00 (Session 26Q: promotion)
Paper: