On the public citation graph

Decidability for branching time

https://doi.org/10.1007/bf00370320
0 signed · 97 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1090/s0002-9947-1969-0246760-1openalex-snapshot
Decidability of second-order theories and automata on infinite trees.
inferredcites →https://doi.org/10.1093/acprof:oso/9780198243113.001.0001openalex-snapshot
Past, Present and Future
inferredcites →https://doi.org/10.1111/j.1755-2567.1978.tb00175.xopenalex-snapshot
The unreal future

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/11590156_31openalex-snapshot
Towards a CTL* Tableau
inferred← citeshttps://doi.org/10.1007/3-540-52048-1_40openalex-snapshot
An axiomatization of event structures
inferred← citeshttps://doi.org/10.1007/3-540-55844-6_129openalex-snapshot
Incremental evaluation of natural semantics specifications
inferred← citeshttps://doi.org/10.1007/3-540-56939-1_104openalex-snapshot
Decidability of a partial order based temporal logic
inferred← citeshttps://doi.org/10.1007/978-3-030-92486-7_4openalex-snapshot
A Dynamic B Theory of Time
inferred← citeshttps://doi.org/10.1007/978-3-031-09763-8_2openalex-snapshot
How Is the Asymmetry Between the Open Future and the Fixed Past to Be Characterized?
inferred← citeshttps://doi.org/10.1007/978-3-642-70491-8_18openalex-snapshot
Semantics of Time
inferred← citeshttps://doi.org/10.1007/978-94-009-6259-0_3openalex-snapshot
Combinations of Tense and Modality
inferred← citeshttps://doi.org/10.1007/978-94-017-0462-5_3openalex-snapshot
Combinations of Tense and Modality
inferred← citeshttps://doi.org/10.1007/bf00248637openalex-snapshot
A note on the tense logic of dominoes
inferred← citeshttps://doi.org/10.1007/bf00284972openalex-snapshot
A complete deductive-system for since-until branching-time logic
inferred← citeshttps://doi.org/10.1007/bf00935598openalex-snapshot
Axiomatization of ?Peircean? branching-time logic
inferred← citeshttps://doi.org/10.1007/bf01418760openalex-snapshot
Modal logics of domains on the real plane
inferred← citeshttps://doi.org/10.1007/bf01880326openalex-snapshot
TABLEAUX: A general theorem prover for modal logics
inferred← citeshttps://doi.org/10.1007/bf02811341openalex-snapshot
Models and logics for true concurrency
inferred← citeshttps://doi.org/10.1007/bfb0013020openalex-snapshot
Time, logic and computation
inferred← citeshttps://doi.org/10.1007/bfb0023866openalex-snapshot
Incremental evaluation of natural semantics specifications
inferred← citeshttps://doi.org/10.1007/s10469-008-9020-2openalex-snapshot
Branching-time type operators on finite pseudo-Boolean algebras
inferred← citeshttps://doi.org/10.1007/s10670-020-00296-3openalex-snapshot
The Modal Logic of Potential Infinity: Branching Versus Convergent Possibilities
inferred← citeshttps://doi.org/10.1007/s10849-018-9276-4openalex-snapshot
First-Order Definability of Transition Structures
inferred← citeshttps://doi.org/10.1007/s10992-015-9369-3openalex-snapshot
Axiomatization of a Branching Time Logic with Indistinguishability Relations
inferred← citeshttps://doi.org/10.1007/s11225-006-8104-zopenalex-snapshot
Quantification over Sets of Possible Worlds in Branching-Time Semantics
inferred← citeshttps://doi.org/10.1007/s11225-010-9291-1openalex-snapshot
Completeness of a Branching-Time Logic with Possible Choices
inferred← citeshttps://doi.org/10.1007/s11229-005-5519-4openalex-snapshot
Moment/History Duality in Prior’s Logics of Branching-Time
inferred← citeshttps://doi.org/10.1007/s11229-011-9939-zopenalex-snapshot
A letter on the present state of affairs
inferred← citeshttps://doi.org/10.1007/s11787-012-0074-5openalex-snapshot
On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators
inferred← citeshttps://doi.org/10.1016/0304-3975(92)90181-eopenalex-snapshot
A logical characterization of well branching event structures
inferred← citeshttps://doi.org/10.1016/j.apal.2019.06.003openalex-snapshot
A strict implication calculus for compact Hausdorff spaces
inferred← citeshttps://doi.org/10.1016/j.apal.2022.103169openalex-snapshot
Admissibility of Π2-Inference Rules: interpolation, model completion, and contact algebras
inferred← citeshttps://doi.org/10.1016/j.apal.2025.103552openalex-snapshot
Π2-rule systems and inductive classes of Gödel algebras
inferred← citeshttps://doi.org/10.1016/s1570-2464(07)80014-0openalex-snapshot
11 Temporal logic
inferred← citeshttps://doi.org/10.1016/s1874-5857(06)80032-4openalex-snapshot
Modern temporal logic: The philosophical background
inferred← citeshttps://doi.org/10.1017/9781009170093openalex-snapshot
Temporal Logics
inferred← citeshttps://doi.org/10.1017/bsl.2023.12openalex-snapshot
A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES
inferred← citeshttps://doi.org/10.1017/cbo9781107050884openalex-snapshot
Modal Logic
inferred← citeshttps://doi.org/10.1017/cbo9781107050884.001openalex-snapshot
Preface
inferred← citeshttps://doi.org/10.1017/cbo9781107050884.002openalex-snapshot
Basic Concepts
inferred← citeshttps://doi.org/10.1017/cbo9781107050884.003openalex-snapshot
Models
inferred← citeshttps://doi.org/10.1017/cbo9781107050884.004openalex-snapshot
Frames
inferred← citeshttps://doi.org/10.1017/cbo9781107050884.005openalex-snapshot
Completeness
inferred← citeshttps://doi.org/10.1017/cbo9781107050884.006openalex-snapshot
Algebras and General Frames
inferred← citeshttps://doi.org/10.1017/cbo9781107050884.007openalex-snapshot
Computability and Complexity
inferred← citeshttps://doi.org/10.1017/cbo9781107050884.008openalex-snapshot
Extended Modal Logic
inferred← citeshttps://doi.org/10.1017/cbo9781107050884.009openalex-snapshot
A Logical Toolkit
inferred← citeshttps://doi.org/10.1017/cbo9781107050884.010openalex-snapshot
An Algebraic Toolkit
inferred← citeshttps://doi.org/10.1017/cbo9781107050884.011openalex-snapshot
A Computational Toolkit
inferred← citeshttps://doi.org/10.1017/cbo9781107050884.012openalex-snapshot
A Guide to the Literature
inferred← citeshttps://doi.org/10.1017/cbo9781107050884.013openalex-snapshot
References
inferred← citeshttps://doi.org/10.1023/a:1008259000544openalex-snapshot
Undivided and Indistinguishable Histories in Branching-Time Logics
inferred← citeshttps://doi.org/10.1023/a:1008398102653openalex-snapshot
An Extended Branching-Time Ockhamist Temporal Logic
inferred← citeshttps://doi.org/10.1075/sl.6.1.10benopenalex-snapshot
Review of Harper, Stalnaker & Pearce (1981): A review of IFS, Conditionals, Belief, Decision, Chance and Time
inferred← citeshttps://doi.org/10.1080/11663081.1999.10510971openalex-snapshot
Hyperboolean Algebras and Hyperboolean Modal Logic
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780198236221.001.0001openalex-snapshot
A Model of the Universe
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780198236221.002.0004openalex-snapshot
Copyright Page
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780198236221.002.0005openalex-snapshot
Preface
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780198236221.003.0001openalex-snapshot
The Model
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780198236221.003.0002openalex-snapshot
The Direction and Flow of Time
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780198236221.003.0003openalex-snapshot
Causation and Laws of Nature
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780198236221.003.0004openalex-snapshot
An Interpretation of Quantum Mechanics
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780198236221.003.0005openalex-snapshot
Probability
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780198236221.003.0006openalex-snapshot
Conditionals
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780198236221.003.0007openalex-snapshot
Individuals and Identity
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780198236221.003.0008openalex-snapshot
Essential Properties
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780198236221.003.0009openalex-snapshot
Decision and Free Will
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780198236221.003.0010openalex-snapshot
Conclusion
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780198236221.005.0001openalex-snapshot
The Topology of Branched Spaces
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780198236221.005.0002openalex-snapshot
Branched Four-Dimensional Space-Time
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780198236221.005.0003openalex-snapshot
A Branched Picture of Mermin's EPR Experiment
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780198236221.005.0004openalex-snapshot
Probabilities of Conditionals Defined as Conditional Probabilities
inferred← citeshttps://doi.org/10.1093/jigpal/jzag044openalex-snapshot
Priorian temporal logics of trees I: axiomatizing logics of some classes of non-discrete trees
inferred← citeshttps://doi.org/10.1093/jigpal/jzl035openalex-snapshot
From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability
inferred← citeshttps://doi.org/10.1093/logcom/12.4.679openalex-snapshot
Axioms for Branching Time
inferred← citeshttps://doi.org/10.1093/logcom/exac036openalex-snapshot
Sahlqvist correspondence theory for second-order propositional modal logic
inferred← citeshttps://doi.org/10.1093/logcom/exae086openalex-snapshot
A calculus for modal compact Hausdorff spaces
inferred← citeshttps://doi.org/10.1093/logcom/exl033openalex-snapshot
A Tableau for Bundled CTL
inferred← citeshttps://doi.org/10.1093/obo/9780195396577-0336openalex-snapshot
Logic
inferred← citeshttps://doi.org/10.1109/ismvl.1990.122625openalex-snapshot
Many-valued tense logic and the problem of determination
inferred← citeshttps://doi.org/10.1109/time.2001.930716openalex-snapshot
Hybrid Ockhamist temporal logic
inferred← citeshttps://doi.org/10.1145/22145.22179openalex-snapshot
An internal semantics for modal logic
inferred← citeshttps://doi.org/10.1177/1354067x06064577openalex-snapshot
The Fullness of Time
inferred← citeshttps://doi.org/10.1215/00294527-2010-008openalex-snapshot
Axiomatizing the Logic of Comparative Probability
inferred← citeshttps://doi.org/10.1305/ndjfl/1093636100openalex-snapshot
A note about the axioms for branching-time logic.
inferred← citeshttps://doi.org/10.1515/9783110333213.459openalex-snapshot
A Deontic Logic with Temporal Qualification
inferred← citeshttps://doi.org/10.17646/kome.2014.15openalex-snapshot
Remarks on the Logic of Irreversible Actions
inferred← citeshttps://doi.org/10.21146/2074-1472-2021-27-2-153-184openalex-snapshot
Системы временной логики I: моменты, истории, деревья
inferred← citeshttps://doi.org/10.2168/lmcs-2(2:5)2006openalex-snapshot
Modal Logics of Topological Relations
inferred← citeshttps://doi.org/10.2307/2216237openalex-snapshot
Logic, Logical Form, and the Open Future
inferred← citeshttps://doi.org/10.2307/2275109openalex-snapshot
Derivation rules as anti-axioms in modal logic
inferred← citeshttps://doi.org/10.2307/2275262openalex-snapshot
A quantitative analysis of modal logic
inferred← citeshttps://doi.org/10.2307/2275595openalex-snapshot
Branching-time logic with quantification over branches: The point of view of modal logic
inferred← citeshttps://doi.org/10.2307/2695091openalex-snapshot
An axiomatization of full Computation Tree Logic
inferred← citeshttps://doi.org/10.2478/slgr-2024-0016openalex-snapshot
Selected Methods of Rejecting Arguments for Determinism in Tense Logic Systems
inferred← citeshttps://doi.org/10.26686/wgtn.16967488openalex-snapshot
Logic-Based Conflict Analysis and Resolution
inferred← citeshttps://doi.org/10.26686/wgtn.16967488.v1openalex-snapshot
Logic-Based Conflict Analysis and Resolution
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.