Algebraic tools for default modal systems

Abstract Default Logics are a family of non-monotonic formalisms having so-called defaults and extensions as their common foundation. Traditionally, default logics have been defined and dealt with via syntactic notions of consequence in propositional or first-order logic. Here, we build default logi...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Journal of logic and computation 2023-08, Vol.33 (6), p.1301-1325
Hauptverfasser:	Cassano, Valentin, Fervari, Raul, Areces, Carlos, Castro, Pablo F
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!