Introduction : The Many Branches of Belnap’s Logic

Müller, Thomas

Introduction : The Many Branches of Belnap’s Logic

Dateien

Mueller_276741.pdfGröße: 332.14 KBDownloads: 280

Datum

2014

Open Access-Veröffentlichung

Open Access Green

Sammlungen

Philosophie

Publikationstyp

Beitrag zu einem Sammelband

Publikationsstatus

Published

Erschienen in

MÜLLER, Thomas, ed.. Nuel Belnap on Indeterminism and Free Action. Cham: Springer International Publishing, 2014, pp. 1-28. Outstanding Contributions to Logic. 2. ISBN 978-3-319-01753-2. Available under: doi: 10.1007/978-3-319-01754-9_1

Zusammenfassung

In this introduction to the Outstanding contributions to logic volume devoted to Nuel Belnap’s work on indeterminism and free action, we provide a brief overview of some of the formal frameworks and methods involved in Belnap’s work on these topics: theories of branching histories, specifically “branching time” and “branching space-times”, the stit (“seeing to it that”) logic of agency, and case-intensional first order logic. We also draw some connections to the contributions included in this volume. Abstracts of these contributions are included as an appendix.

Fachgebiet (DDC)

100 Philosophie

Schlagwörter

Indeterminism, Free action, Branching histories, Branching time, Branching space-times, Stit theory, Nuel Belnap

Zitieren

ISO 690

MÜLLER, Thomas, 2014. Introduction : The Many Branches of Belnap’s Logic. In: MÜLLER, Thomas, ed.. Nuel Belnap on Indeterminism and Free Action. Cham: Springer International Publishing, 2014, pp. 1-28. Outstanding Contributions to Logic. 2. ISBN 978-3-319-01753-2. Available under: doi: 10.1007/978-3-319-01754-9_1

BibTex

@incollection{Muller2014Intro-27674,
  year={2014},
  doi={10.1007/978-3-319-01754-9_1},
  title={Introduction : The Many Branches of Belnap’s Logic},
  number={2},
  isbn={978-3-319-01753-2},
  publisher={Springer International Publishing},
  address={Cham},
  series={Outstanding Contributions to Logic},
  booktitle={Nuel Belnap on Indeterminism and Free Action},
  pages={1--28},
  editor={Müller, Thomas},
  author={Müller, Thomas}
}

RDF

<rdf:RDF
    xmlns:dcterms="http://purl.org/dc/terms/"
    xmlns:dc="http://purl.org/dc/elements/1.1/"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:bibo="http://purl.org/ontology/bibo/"
    xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#"
    xmlns:foaf="http://xmlns.com/foaf/0.1/"
    xmlns:void="http://rdfs.org/ns/void#"
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > 
  <rdf:Description rdf:about="https://kops.uni-konstanz.de/server/rdf/resource/123456789/27674">
    <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/27674"/>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2014-05-28T12:05:13Z</dc:date>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/>
    <dcterms:issued>2014</dcterms:issued>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/>
    <dc:creator>Müller, Thomas</dc:creator>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dc:contributor>Müller, Thomas</dc:contributor>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2014-05-28T12:05:13Z</dcterms:available>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dc:language>eng</dc:language>
    <dcterms:bibliographicCitation>Nuel Belnap on Indeterminism and Free Action / ed. by Thomas Müller. - Cham : Springer, 2014. - S. 1-28. - (Outstanding Contributions to Logic ; 2). - ISBN 978-331-90175-4-9</dcterms:bibliographicCitation>
    <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/27674/2/Mueller_276741.pdf"/>
    <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/27674/2/Mueller_276741.pdf"/>
    <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
    <dcterms:title>Introduction : The Many Branches of Belnap’s Logic</dcterms:title>
    <dcterms:abstract xml:lang="eng">In this introduction to the Outstanding contributions to logic volume devoted to Nuel Belnap’s work on indeterminism and free action, we provide a brief overview of some of the formal frameworks and methods involved in Belnap’s work on these topics: theories of branching histories, specifically “branching time” and “branching space-times”, the stit (“seeing to it that”) logic of agency, and case-intensional first order logic. We also draw some connections to the contributions included in this volume. Abstracts of these contributions are included as an appendix.</dcterms:abstract>
    <dc:rights>terms-of-use</dc:rights>
  </rdf:Description>
</rdf:RDF>

Universitätsbibliographie

Ja