Formal Methods for Nonmonotonic and Related Logics

Formal Methods for Nonmonotonic and Related Logics

Vol II: Theory Revision, Inheritance, and Various Abstract Properties

Schlechta, Karl

Springer International Publishing AG

11/2018

473

Dura

Inglês

9783319896496

15 a 20 dias

939

Descrição não disponível.

Theory Revision and Sums.- Defeasible Inheritance Theory.- Interpolation.- Neighbourhood Semantics and Deontic Logic.- Abstract Independence.- Various Aspects of Nonmonotonic and Other Logics.

Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.

Formal Methods;Nonmonotonic Logic;Structural Semantics;Theory Revision;Definability Preservation;Theory Update;Neighborhood Semantics;Systems;Continuous Logic