Larsen，Kim G。；乌里·法伦贝格；克劳斯·苏兰 时序逻辑中加权Kripke结构的定量表征。 （英语） Zbl 1247.68189号 Hlinen，Petr（ed.）等人，计算机科学数学和工程方法年度博士研讨会（MEMICS’09）。根据2009年11月13日至15日在捷克共和国Znojmo举行的研讨会上所作的介绍，选出了一些论文。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-15-6）。OASIcs–信息学中的OpenAccess系列13、10-17，仅电子版（2009年）。 小结：我们用加权转移关系扩展了克里普克结构的通常概念，并将CTL的通常布尔满足关系推广到一个映射，该映射为状态和时间公式分配一个描述满足程度的实值距离。我们描述了一种获得CTL句法泛型扩展的定量解释的一般方法，并表明，对于这种解释，逻辑对于定量互模拟来说是充分的和有表现力的。关于整个系列，请参见[兹比尔1247.68009]. 引用于1文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 03B70号 计算机科学中的逻辑 关键词：定量分析；克里普克构造；特征公式；互模拟距离；加权CTL PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人，OASIcs--OpenAccess服务器。通知。2009年10月13日至17日；兹bl 1247.68189） 全文： 内政部