scientific article

zbMath1270.03123MaRDI QIDQ2843911

Guido Governatori

Publication date: 27 August 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104810053

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

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Complexity of proofs (03F20)