Klaus P. Jantke, Oksana Arnold. A Modal Temporal Logic and its Models Underlying Variants of Planning Algorithms. In TIME. pages 182-187, 1996.
@inproceedings{JantkeA96, title = {A Modal Temporal Logic and its Models Underlying Variants of Planning Algorithms}, author = {Klaus P. Jantke and Oksana Arnold}, year = {1996}, tags = {modal logic, logic}, researchr = {https://researchr.org/publication/JantkeA96}, cites = {0}, citedby = {0}, pages = {182-187}, booktitle = {TIME}, }