scientific article; zbMATH DE number 6302916
From MaRDI portal
Publication:5419892
zbMath1291.03037MaRDI QIDQ5419892
Publication date: 11 June 2014
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)
This page was built for publication: