Relational dual tableaux for interval temporal logics
Journal of Applied Non-Classical Logics(2006)
关键词
temporal logic,modal logic,interval temporal logic,interval logic
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要
Journal of Applied Non-Classical Logics(2006)