Publication:5465434
From MaRDI portal
zbMath1076.03011MaRDI QIDQ5465434
Publication date: 22 August 2005
modal logic; natural deduction; functional completeness; nominals; hybridized S5; satisfaction operators
03B45: Modal logic (including the logic of norms)