rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Conditionals and Modularity in General Logics
  name:
    name part: Gabbay, Dov M.
    role:
      role term: creator
    role:
      role term: author.
  name:
    name part: Schlechta, Karl.
    role:
      role term: author.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2011
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: IX, 233 p. online resource.
  abstract: This 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.
  note: by Dov M. Gabbay, Karl Schlechta.
  subject:
    topic: Computer science
  subject:
    topic: Logic
  subject:
    topic: Mathematical logic
  subject:
    topic: Artificial intelligence
  subject:
    topic: Computer Science
  subject:
    topic: Mathematical Logic and Formal Languages
  subject:
    topic: Artificial Intelligence (incl. Robotics)
  subject:
    topic: Mathematical Logic and Foundations
  subject:
    topic: Logic
  classification: QA8.9-QA10.3
  classification: 005.131
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Cognitive Technologies
  identifier: 9783642190681
  identifier: http://dx.doi.org/10.1007/978-3-642-19068-1
  record info:
    record creation date: 110817
    record change date: 20151125221619.0
    record identifier: 978-3-642-19068-1