Introduction : The Many Branches of Belnap’s Logic

Zitieren

Dateien zu dieser Ressource

Prüfsumme: 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

@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:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:dcterms="http://purl.org/dc/terms/" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > <rdf:Description rdf:about="https://kops.uni-konstanz.de/rdf/resource/123456789/27674"> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/27674"/> <dc:rights>deposit-license</dc:rights> <dcterms:title>Introduction : The Many Branches of Belnap’s Logic</dcterms:title> <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> <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> <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="http://www.w3.org/2001/XMLSchema#dateTime">2014-05-28T12:05:13Z</dc:date> <dcterms:issued>2014</dcterms:issued> <dcterms:rights rdf:resource="http://nbn-resolving.org/urn:nbn:de:bsz:352-20140905103605204-4002607-1"/> <dc:creator>Müller, Thomas</dc:creator> <dc:language>eng</dc:language> </rdf:Description> </rdf:RDF>

Dateiabrufe seit 01.10.2014 (Informationen über die Zugriffsstatistik)

Mueller_276741.pdf 173

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto