Sequent Calculus for Justifications

TitleSequent Calculus for Justifications
Publication TypeTechnical Reports
Year of Publication2011
AuthorsSavateev, Y
AbstractWe present a cut-free sequent calculus that can internalize its own proofs, providing a new justification system for modal logic. ------- TABLEAUX 2011 Workshops, Tutorials, and Short Papers Martin Giese and Roman Kuznets (editors) Technical Report IAM-11-002, 4–8 July 2011