Transition Semantics for Branching Time

Cite This

Files in this item

Files Size Format View

There are no files associated with this item.

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. Available under: doi: 10.1007/s10849-015-9231-6

@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:dcterms="" xmlns:dc="" xmlns:rdf="" xmlns:bibo="" xmlns:dspace="" xmlns:foaf="" xmlns:void="" xmlns:xsd="" > <rdf:Description rdf:about=""> <dcterms:title>Transition Semantics for Branching Time</dcterms:title> <dcterms:isPartOf rdf:resource=""/> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dc:language>eng</dc:language> <dspace:isPartOfCollection rdf:resource=""/> <dcterms:isPartOf rdf:resource=""/> <bibo:uri rdf:resource=""/> <dc:contributor>Rumberg, Antje</dc:contributor> <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> <dc:creator>Rumberg, Antje</dc:creator> <dc:date rdf:datatype="">2016-04-20T07:09:47Z</dc:date> <dcterms:available rdf:datatype="">2016-04-20T07:09:47Z</dcterms:available> <dcterms:issued>2016-03</dcterms:issued> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dspace:isPartOfCollection rdf:resource=""/> </rdf:Description> </rdf:RDF>

This item appears in the following Collection(s)

Search KOPS


My Account