scientific article

zbMATH Open0969.03030MaRDI QIDQ2701984

Guido Governatori, Dov M. Gabbay

Publication date: 12 March 2001

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

zbMATH Keywords

fibringmulti-modal logicslabelled tableau

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

This page was built for publication: