000 02796nam a22005055i 4500
001 978-3-642-19068-1
003 DE-He213
005 20140220083754.0
007 cr nn 008mamaa
008 110817s2011 gw | s |||| 0|eng d
020 _a9783642190681
_9978-3-642-19068-1
024 7 _a10.1007/978-3-642-19068-1
_2doi
050 4 _aQA8.9-QA10.3
072 7 _aUYA
_2bicssc
072 7 _aMAT018000
_2bisacsh
072 7 _aCOM051010
_2bisacsh
082 0 4 _a005.131
_223
100 1 _aGabbay, Dov M.
_eauthor.
245 1 0 _aConditionals and Modularity in General Logics
_h[electronic resource] /
_cby Dov M. Gabbay, Karl Schlechta.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2011.
300 _aIX, 233 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aCognitive Technologies,
_x1611-2482
520 _aThis text centers around three main subjects. The first is the concept of modularity and independence in classical logic and nonmonotonic and other nonclassical logic, and the consequences on syntactic and semantical interpolation and language change. In particular, we will show the connection between interpolation for nonmonotonic logic and manipulation of an abstract notion of size. Modularity is essentially the ability to put partial results achieved independently together for a global result. The second aspect of the book is the authors' uniform picture of conditionals, including many-valued logics and structures on the language elements themselves and on the truth value set. The third topic explained by the authors is neighbourhood semantics, their connection to independence, and their common points and differences for various logics, e.g., for defaults and deontic logic, for the limit version of preferential logics, and for general approximation. The book will be of value to researchers and graduate students in logic and theoretical computer science.
650 0 _aComputer science.
650 0 _aLogic.
650 0 _aArtificial intelligence.
650 0 _aLogic, Symbolic and mathematical.
650 1 4 _aComputer Science.
650 2 4 _aMathematical Logic and Formal Languages.
650 2 4 _aArtificial Intelligence (incl. Robotics).
650 2 4 _aMathematical Logic and Foundations.
650 2 4 _aLogic.
700 1 _aSchlechta, Karl.
_eauthor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783642190674
830 0 _aCognitive Technologies,
_x1611-2482
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-642-19068-1
912 _aZDB-2-SCS
999 _c107462
_d107462