Publikation:

Introduction : The Many Branches of Belnap’s Logic

Vorschaubild

Dateien

Mueller_276741.pdf
Mueller_276741.pdfGröße: 332.14 KBDownloads: 308

Datum

2014

Autor:innen

Herausgeber:innen

Kontakt

ISSN der Zeitschrift

Electronic ISSN

ISBN

Bibliografische Daten

Verlag

Schriftenreihe

Auflagebezeichnung

URI (zitierfähiger Link)
http://nbn-resolving.de/urn:nbn:de:bsz:352-276741
DOI (zitierfähiger Link)
https://doi.org/10.1007/978-3-319-01754-9_1
ArXiv-ID

Internationale Patentnummer

Link zur Lizenz
Urheberrechtlich geschützt

Angaben zur Forschungsförderung

Projekt

Open Access-Veröffentlichung
Open Access Green

Sammlungen

Philosophie: Publikationen
Core Facility der Universität Konstanz

Gesperrt bis

Titel in einer weiteren Sprache

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.

Zusammenfassung in einer weiteren Sprache

Fachgebiet (DDC)
100 Philosophie

Schlagwörter

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

Konferenz

Rezension
undefined / . - undefined, undefined

Forschungsvorhaben

Organisationseinheiten

Zeitschriftenheft

Zugehörige Datensätze in KOPS

Zitieren

ISO 690MÜ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>

Interner Vermerk

xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter

Kontakt
URL der Originalveröffentl.

Prüfdatum der URL

Prüfungsdatum der Dissertation

Finanzierungsart

Kommentar zur Publikation

Allianzlizenz
Corresponding Authors der Uni Konstanz vorhanden
Internationale Co-Autor:innen
Universitätsbibliographie
Ja
Begutachtet
Diese Publikation teilen