scientific article; zbMATH DE number 7340145

zbMath1469.03051arXiv1210.2481MaRDI QIDQ4986511

Jakub Michaliszyn, Piotr Witkowski, Jan Otop

Publication date: 27 April 2021

Full work available at URL: https://arxiv.org/abs/1210.2481

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

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)