zbMath0844.03013MaRDI QIDQ4877438
Fiora Pirri, Giambattista Amati, Luigia Carlucci Aiello, Dov M. Gabbay
Publication date: 8 July 1996
zbMATH Keywords
modal logic; nonmonotonic logic; Reiter's default logic; fixed point construction; frames satisfying the insertion property
Mathematics Subject Classification ID
03B45: Modal logic (including the logic of norms)
03B60: Other nonclassical logic
Related Items