Formal Methods for Nonmonotonic and Related Logics
-15%
portes grátis
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
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.
