A new version of an old modal incompleteness theorem
From MaRDI portal
Publication:5411481
zbMath1286.03075arXiv1202.3268MaRDI QIDQ5411481
Publication date: 23 April 2014
Full work available at URL: https://arxiv.org/abs/1202.3268
03B45: Modal logic (including the logic of norms)