Transition semantics for branching time

DOI10.1007/S10849-015-9231-6MaRDI QIDQ302231zbMATH OpenOpenAlexWikidataFDO

Authors Antje Rumberg

Publication date 4 July 2016

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

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

stabilityfuture contingentsbranching timetransitions

Mathematics Subject Classification ID

Temporal logic (03B44)

Recommendations

• Alternatives to histories? Employing a local notion of modal consistency in branching theories
• From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability
• Topological aspects of branching-time semantics
• An extended branching-time Ockhamist temporal logic
• Axioms for Branching Time

Cites work

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

Cited in

(21)

• Branching-time logics repeatedly referring to states
• Comparative branching-time semantics for Markov chains
• Branch-well-structured transition systems and extensions
• First-order definability of transition structures
• Topological aspects of branching-time semantics
• Back to the actual future
• The actual future is open
• Системы временной логики I: моменты, истории, деревья
• New foundations for branching space-times
• Defining a relativity-proof notion of the present via spatio-temporal indeterminism
• Branching time and orthogonal bisimulation equivalence
• CONCUR 2003 - Concurrency Theory
• scientific article; zbMATH DE number 1860680 (Why is no real title available?)
• Modality in physics
• Expressive completeness failure in branching time structures
• Transition and cancellation in concurrency and branching time
• Time and determinism
• An introduction to real possibilities, indeterminism, and free will: three contingencies of the debate
• Correct Hardware Design and Verification Methods
• From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability
• Alternatives to histories? Employing a local notion of modal consistency in branching theories

This page was built for publication: Transition semantics for branching time

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q302231)