Discrete linear temporal logic with current time point clusters, deciding algorithms
-
Published:2008-06-19
Issue:1-2
Volume:17
Page:
-
ISSN:1425-3305
-
Container-title:Logic and Logical Philosophy
-
language:
-
Short-container-title:LLP
Publisher
Uniwersytet Mikolaja Kopernika/Nicolaus Copernicus University
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On Linear Logic of Knowledge and Time;Larisa Maksimova on Implication, Interpolation, and Definability;2018