scientific article; zbMATH DE number 877745
From MaRDI portal
Publication:4877438
zbMath0844.03013MaRDI QIDQ4877438
Fiora Pirri, Giambattista Amati, Luigia Carlucci Aiello, Dov M. Gabbay
Publication date: 8 July 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modal logicnonmonotonic logicReiter's default logicfixed point constructionframes satisfying the insertion property
Related Items
This page was built for publication: