2008/08/22 by Dov M. Gabbay, Dov Gabbay, Gabbay, Dov +2
Computer Science · Engineering · Mathematics · #FOS: Mathematics #Logic (math.LO) #Logic, programming, and type systems #Systems Engineering Methodologies and Applications #math.LO
paper · pdf · doi:10.48550/arxiv.0808.3073
arxiv created 2008/08/22 · openalex publication_date 2008/08/22 · arxiv updated 2009/12/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We give an overview of logical and semantical rules for nonmonotonic and related logics.