The decision problem for branching time logic
From MaRDI portal
Publication:3708772
DOI10.2307/2274321zbMath0584.03006MaRDI QIDQ3708772
Publication date: 1985
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274321
05C05: Trees
03B45: Modal logic (including the logic of norms)
03D05: Automata and formal grammars in connection with logical questions
03B25: Decidability of theories and sets of sentences
Related Items
A decidable temporal logic of parallelism, TABLEAUX: A general theorem prover for modal logics, A system of dynamic modal logic