On the public citation graph
Labelled Tableaux for Distributed Temporal Logic
0 signed · 40 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/10722086_26openalex-snapshot
The Mosaic Method for Temporal Logics
inferredcites →https://doi.org/10.1007/3-540-18088-5_24openalex-snapshot
A modal logic for a subclass of event structures
inferredcites →https://doi.org/10.1007/3-540-56922-7_34openalex-snapshot
All from one, one for all: on model checking using representatives
inferredcites →https://doi.org/10.1007/3-540-60218-6_33openalex-snapshot
A trace consistent subset of PTL
inferredcites →https://doi.org/10.1007/3-540-69778-0_28openalex-snapshot
A New One-Pass Tableau Calculus for PLTL
inferredcites →https://doi.org/10.1007/978-3-540-29678-2_1162openalex-snapshot
Computational Approach
inferredcites →https://doi.org/10.1007/978-94-011-4040-9_6openalex-snapshot
Labelled Tableaux for Propositional Linear Time Logic Over Finite Frames
inferredcites →https://doi.org/10.1007/978-94-017-1754-0openalex-snapshot
Handbook of Tableau Methods
inferredcites →https://doi.org/10.1007/978-94-017-1754-0_6openalex-snapshot
Tableau Methods for Modal and Temporal Logics
inferredcites →https://doi.org/10.1007/bfb0014007openalex-snapshot
Improving temporal logic tableaux using integer constraints
inferredcites →https://doi.org/10.1007/bfb0035385openalex-snapshot
A tableau system for linear-TIME temporal logic
inferredcites →https://doi.org/10.1007/s002360050167openalex-snapshot
Specifying communication in distributed information systems
inferredcites →https://doi.org/10.1016/0022-0000(79)90046-1openalex-snapshot
Propositional dynamic logic of regular programs
inferredcites →https://doi.org/10.1016/0022-0000(80)90061-6openalex-snapshot
A near-optimal method for reasoning about action
inferredcites →https://doi.org/10.1016/j.entcs.2004.05.020openalex-snapshot
Metareasoning about Security Protocols using Distributed Temporal Logic
inferredcites →https://doi.org/10.1016/s0022-0000(03)00005-9openalex-snapshot
The complexity of the temporal logic with “until” over general linear time
inferredcites →https://doi.org/10.1023/b:stud.0000009565.98020.9bopenalex-snapshot
A Labelled Natural Deduction System for Linear Temporal Logic
inferredcites →https://doi.org/10.1093/jigpal/8.1.55openalex-snapshot
Propositional temporal logics: decidability and completeness
inferredcites →https://doi.org/10.1093/jigpal/jzi048openalex-snapshot
Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis
inferredcites →https://doi.org/10.1109/lics.1996.561311openalex-snapshot
Locally linear time temporal logic
inferredcites →https://doi.org/10.1109/time.2007.41openalex-snapshot
Automated Natural Deduction for Propositional Linear-Time Temporal Logic
inferredcites →https://doi.org/10.1109/time.2008.21openalex-snapshot
A Labeled Tableaux System for the Distributed Temporal Logic DTL
inferredcites →https://doi.org/10.1109/time.2008.28openalex-snapshot
Labeled Natural Deduction Systems for a Family of Tense Logics
inferredcites →https://doi.org/10.1142/s0129054192000103openalex-snapshot
TEMPORAL LOGICS FOR COMMUNICATING SEQUENTIAL AGENTS: I
inferredcites →https://doi.org/10.3217/jucs-009-02-0106openalex-snapshot
Checking Object System Designs Incrementally
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-032-28187-6_12openalex-snapshot
tptl-dist: A Calculus for Verifying Real-Time Distributed Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-32498-7_46openalex-snapshot
Towards a Logical Framework for Reasoning about Risk
inferred← citeshttps://doi.org/10.1007/978-3-662-44145-9_1openalex-snapshot
Quantum State Transformations and Branching Distributed Temporal Logic
inferred← citeshttps://doi.org/10.1007/s12652-013-0186-7openalex-snapshot
Tableau systems for reasoning about risk
inferred← citeshttps://doi.org/10.1016/j.ic.2017.01.007openalex-snapshot
A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations
inferred← citeshttps://doi.org/10.1016/j.jlamp.2021.100684openalex-snapshot
Event-Based Time-Stamped Claim Logic
inferred← citeshttps://doi.org/10.1016/j.tcs.2011.04.006openalex-snapshot
Distributed temporal logic for the analysis of security protocol models
inferred← citeshttps://doi.org/10.1093/jigpal/jzae043openalex-snapshot
Model checking distributed temporal logic
inferred← citeshttps://doi.org/10.1093/logcom/exac042openalex-snapshot
Bounded model checking distributed temporal logic
inferred← citeshttps://doi.org/10.1109/crisis.2013.6766351openalex-snapshot
A complete tableau procedure for risk analysis
inferred← citeshttps://doi.org/10.1109/time.2008.21openalex-snapshot
A Labeled Tableaux System for the Distributed Temporal Logic DTL
inferred← citeshttps://doi.org/10.48550/arxiv.1909.01741openalex-snapshot
Büchi automata for distributed temporal logic
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.