Sh:230
- Gurevich, Y., & Shelah, S. (1985). The decision problem for branching time logic. J. Symbolic Logic, 50(3), 668–681. DOI: 10.2307/2274321 MR: 805676
- published version (15p)
Bib entry
@article{Sh:230,
author = {Gurevich, Yuri and Shelah, Saharon},
title = {{The decision problem for branching time logic}},
journal = {J. Symbolic Logic},
fjournal = {The Journal of Symbolic Logic},
volume = {50},
number = {3},
year = {1985},
pages = {668--681},
issn = {0022-4812},
mrnumber = {805676},
mrclass = {03B45 (03B25 05C05)},
doi = {10.2307/2274321}
}