Introduction : The Many Branches of Belnap’s Logic

Cite This

Files in this item

Checksum: MD5:7a84924ffcbabb6467591094388c5e6a

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, pp. 1-28. ISBN 978-3-319-01753-2. Available under: doi: 10.1007/978-3-319-01754-9_1

@incollection{Muller2014Intro-27674, title={Introduction : The Many Branches of Belnap’s Logic}, year={2014}, doi={10.1007/978-3-319-01754-9_1}, number={2}, isbn={978-3-319-01753-2}, address={Cham}, publisher={Springer International Publishing}, 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 xmlns:dcterms="" xmlns:dc="" xmlns:rdf="" xmlns:bibo="" xmlns:dspace="" xmlns:foaf="" xmlns:void="" xmlns:xsd="" > <rdf:Description rdf:about=""> <bibo:uri rdf:resource=""/> <dcterms:rights rdf:resource=""/> <dcterms:hasPart rdf:resource=""/> <dcterms:title>Introduction : The Many Branches of Belnap’s Logic</dcterms:title> <dc:rights>terms-of-use</dc:rights> <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> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dspace:hasBitstream rdf:resource=""/> <dc:contributor>Müller, Thomas</dc:contributor> <dspace:isPartOfCollection rdf:resource=""/> <dcterms:available rdf:datatype="">2014-05-28T12:05:13Z</dcterms:available> <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:date rdf:datatype="">2014-05-28T12:05:13Z</dc:date> <dcterms:issued>2014</dcterms:issued> <dcterms:isPartOf rdf:resource=""/> <dc:language>eng</dc:language> <dc:creator>Müller, Thomas</dc:creator> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> </rdf:Description> </rdf:RDF>

Downloads since Oct 1, 2014 (Information about access statistics)

Mueller_276741.pdf 399

This item appears in the following Collection(s)

Search KOPS


My Account