LEADER 03545nam  22006255  450 
001 9910299356303321
005 20200703062332.0
010   $a3-319-89650-4
024 7 $a10.1007/978-3-319-89650-2
035   $a(CKB)4100000007110728
035   $a(DE-He213)978-3-319-89650-2
035   $a(MiAaPQ)EBC6310745
035   $a(PPN)232473072
035   $a(EXLCZ)994100000007110728
100   $a20181103d2018      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aFormal Methods for Nonmonotonic and Related Logics $eVol II: Theory Revision, Inheritance, and Various Abstract Properties /$fby Karl Schlechta
205   $a1st ed. 2018.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018.
215   $a1 online resource (XXXVIII, 473 p.) 
311   $a3-319-89649-0 
320   $aIncludes bibliographical references and index.
327   $aTheory Revision and Sums -- Defeasible Inheritance Theory -- Interpolation -- Neighbourhood Semantics and Deontic Logic -- Abstract Independence -- Various Aspects of Nonmonotonic and Other Logics.
330   $aThe two volumes in this advanced textbook present results, proof methods, and translations of motivational and philosophical considerations to formal constructions. In the associated Vol. I the author explains preferential structures and abstract size. In this Vol. II he presents chapters on theory revision and sums, defeasible inheritance theory, interpolation, neighbourhood semantics and deontic logic, abstract independence, and various aspects of nonmonotonic and other logics. In both volumes the text contains many exercises and some solutions, and the author limits the discussion of motivation and general context throughout, offering this only when it aids understanding of the formal material, in particular to illustrate the path from intuition to formalisation. Together these books are a suitable compendium for graduate students and researchers in the area of computer science and mathematical logic.
606   $aLogic, Symbolic and mathematical
606   $aLogic
606   $aPhilosophy and science
606   $aArtificial intelligence
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aLogic$3https://scigraph.springernature.com/ontologies/product-market-codes/E16000
606   $aPhilosophy of Science$3https://scigraph.springernature.com/ontologies/product-market-codes/E34000
606   $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
615  0$aLogic, Symbolic and mathematical.
615  0$aLogic.
615  0$aPhilosophy and science.
615  0$aArtificial intelligence.
615 14$aMathematical Logic and Formal Languages.
615 24$aLogic.
615 24$aPhilosophy of Science.
615 24$aMathematical Logic and Foundations.
615 24$aArtificial Intelligence.
676   $a004.0151
700   $aSchlechta$b Karl$4aut$4http://id.loc.gov/vocabulary/relators/aut$0132711
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910299356303321
996   $aFormal Methods for Nonmonotonic and Related Logics$92069898
997   $aUNINA