scientific article; zbMATH DE number 6302922

zbMath1295.03010arXiv1204.2413MaRDI QIDQ5419898

Alwen Tiu, Rajeev Goré, Egor Ianovski

Publication date: 11 June 2014

Full work available at URL: https://arxiv.org/abs/1204.2413

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

modal logicsdisplay calculusdeep inference

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Cut-elimination and normal-form theorems (03F05) Grammars and rewriting systems (68Q42)

Related Items (2)

Nested sequents for intuitionistic modal logics via structural refinement ⋮ Nested sequents for intermediate logics: the case of Gödel-Dummett logics

This page was built for publication: