Transition Semantics for Branching Time

Zitieren

Dateien zu dieser Ressource

Dateien Größe Format Anzeige

Zu diesem Dokument gibt es keine Dateien.

RUMBERG, Antje, 2016. Transition Semantics for Branching Time. In: Journal of Logic, Language and Information. 25(1), pp. 77-108. ISSN 0925-8531. eISSN 1572-9583

@article{Rumberg2016-03Trans-33624, title={Transition Semantics for Branching Time}, year={2016}, doi={10.1007/s10849-015-9231-6}, number={1}, volume={25}, issn={0925-8531}, journal={Journal of Logic, Language and Information}, pages={77--108}, author={Rumberg, Antje} }

<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/33624"> <dcterms:issued>2016-03</dcterms:issued> <dcterms:title>Transition Semantics for Branching Time</dcterms:title> <dc:language>eng</dc:language> <dcterms:abstract xml:lang="eng">In this paper we develop a novel propositional semantics based on the framework of branching time. The basic idea is to replace the moment-history pairs employed as parameters of truth in the standard Ockhamist semantics by pairs consisting of a moment and a consistent, downward closed set of so-called transitions. Whereas histories represent complete possible courses of events, sets of transitions can represent incomplete parts thereof as well. Each transition captures one of the alternative immediate future possibilities open at a branching point. The transition semantics exploits the structural resources a branching time structure has to offer and provides a fine-grained picture of the interrelation of modality and time. In addition to temporal and modal operators, a so-called stability operator becomes interpretable as a universal quantifier over the possible future extensions of a given transition set. The stability operator allows us to specify how and how far time has to unfold for the truth value of a sentence at a moment to become settled and enables a perspicuous treatment of future contingents. We show that the semantics developed along those lines generalizes and extends extant approaches: both Peirceanism and Ockhamism can be viewed as limiting cases of the transition approach that build on restricted resources only, and on both accounts, stability collapses into truth.</dcterms:abstract> <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/33624"/> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2016-04-20T07:09:47Z</dcterms:available> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2016-04-20T07:09:47Z</dc:date> <dc:creator>Rumberg, Antje</dc:creator> <dc:contributor>Rumberg, Antje</dc:contributor> </rdf:Description> </rdf:RDF>

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto