scientific article; zbMATH DE number 7361345
From MaRDI portal
Publication:4994684
zbMath1464.03035arXiv1309.5129MaRDI QIDQ4994684
Publication date: 21 June 2021
Full work available at URL: https://arxiv.org/abs/1309.5129
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (1)
This page was built for publication: