![](/img/cover-not-exists.png)
Logical consecutions in discrete linear temporal logic
Rybakov, V. V.Volume:
70
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2178/jsl/1129642119
Date:
December, 2005
File:
PDF, 952 KB
english, 2005