机构名称：
¥ 1.0
摘要 - 一种足够强的模态逻辑，以完全表征系统的行为称为表达性。最近，随着（概率，网络物理等）的推理，系统的多样性越来越多。），重点转移到定量设置，从而为定量逻辑和行为指标带来了许多表达性结果。这些定量的表达性结果中的每一个都使用量身定制的论点；提炼这些论点的本质是非平凡的，但对于支持新的定量设置的表达模态逻辑的设计很重要。在本文中，我们介绍了基于近似家庭的新概念来得出定量表达结果的第一个分类框架。一个关键的成分是鳕鱼的提升，这是一种均匀的观察以各种双性异性的构造 - 类似于双性模拟指标的概念。我们表明，最近有几个定量表达性结果（例如Kénig等人。和Fijalkow等人）被容纳在我们的框架中；对于我们所谓的一分化均匀性，也得出了新的表达结果。
定量模态逻辑的表现力
主要关键词
相关文件推荐
