Transition semantics for branching time

DOI10.1007/s10849-015-9231-6zbMath1396.03027OpenAlexW2259474485WikidataQ38393757 ScholiaQ38393757MaRDI QIDQ302231

Antje Rumberg

Publication date: 4 July 2016

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-015-9231-6

zbMATH Keywords

stabilitybranching timefuture contingentstransitions

Mathematics Subject Classification ID

Temporal logic (03B44)

Related Items

Time and determinism, Системы временной логики I: моменты, истории, деревья, An introduction to real possibilities, indeterminism, and free will: three contingencies of the debate, New foundations for branching space-times, The actual future is open, Back to the actual future, Modality in physics, Defining a relativity-proof notion of the present via spatio-temporal indeterminism, First-order definability of transition structures

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Branching time, indeterminism and tense logic. Unveiling the Prior-Kipke letters
• Alternatives to histories? Employing a local notion of modal consistency in branching theories
• Funny business in branching space-times: infinite modal correlations
• Branching space-time
• Undivided and indistinguishable histories in branching-time logics
• Logic and time
• Non-definability of the class of complete bundled trees
• Indeterminist time and truth‐value gaps¹
• A Theory of Causation: Causae Causantes (Originating Causes) as Inus Conditions in Branching Space-Times
• Axioms for Branching Time