scientific article; zbMATH DE number 6423888
From MaRDI portal
Publication:4982512
zbMath1321.03050MaRDI QIDQ4982512
Paolo Maffezioli, Alberto Naibo
Publication date: 9 April 2015
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
epistemic logicstructural proof theoryepistemic paradoxlabelled sequent calculusdynamic propositional logic
Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05)
Related Items
Uses Software