Proof theory for indexed nested sequents

From MaRDI portal

Publication:1694451

Jump to:navigation, search

DOI10.1007/978-3-319-66902-1_5zbMath1496.03231OpenAlexW2751722433MaRDI QIDQ1694451

Lutz Straßburger, Sonia Marin

Publication date: 2 February 2018

Full work available at URL: https://hal.inria.fr/hal-01635935

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

Related Items (1)

This page was built for publication: Proof theory for indexed nested sequents

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1694451&oldid=14016058"