scientific article; zbMATH DE number 6863659

zbMath1400.03047arXiv1606.04006MaRDI QIDQ4636049

João Marcos, Yoni Zohar, Ori Lahav

Publication date: 23 April 2018

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

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

zbMATH Keywords

analyticitysequent systemscut-admissibilitynegative modalities

Mathematics Subject Classification ID

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

Related Items (2)

Sequent systems for negative modalities ⋮ Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn logic

This page was built for publication: