Publication:4440788
From MaRDI portal
zbMath1037.03011MaRDI QIDQ4440788
Publication date: 2002
03B45: Modal logic (including the logic of norms)
03B25: Decidability of theories and sets of sentences
zbMath1037.03011MaRDI QIDQ4440788
Publication date: 2002
03B45: Modal logic (including the logic of norms)
03B25: Decidability of theories and sets of sentences