Vladimir V. Rybakov. Inference in Temporal Next-Time Logic. In Sergei N. Artëmov, Howard Barringer, Artur S. d Avila Garcez, Luís C. Lamb, John Woods, editors, We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two. pages 615-638, College Publications, 2005.
@inproceedings{Rybakov05:0,
title = {Inference in Temporal Next-Time Logic},
author = {Vladimir V. Rybakov},
year = {2005},
tags = {logic},
researchr = {https://researchr.org/publication/Rybakov05%3A0},
cites = {0},
citedby = {0},
pages = {615-638},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two},
editor = {Sergei N. Artëmov and Howard Barringer and Artur S. d Avila Garcez and Luís C. Lamb and John Woods},
publisher = {College Publications},
isbn = {1-904987-26-5},
}