Expressive Logics for Coinductive Predicates
Expressive Logics for Coinductive Predicates
复制标题
共归纳谓词的表达逻辑
DOI：
10.46298/lmcs-17(4:19)2021
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
J. Rot
中科院分区：
文献类型：
--
作者：
C. Kupke;J. Rot
经典的轩尼诗 - 米勒纳定理说，图像限制的两个状态
当且仅当它们满足相同的公式时，过渡系统才是双象征
在某个模态逻辑中。在本文中，我们研究了这种类型的结果
一般环境，从过渡系统转变为山地，从
对诱导谓词的双元性。我们在逻辑充分时制定
通过提供合适的
充分性和表现力的概念，并给予足够的条件
语义。用表征相似性的逻辑说明了该方法
自动机上的发散和行为度量。
The classical Hennessy-Milner theorem says that two states of an image-finite
transition system are bisimilar if and only if they satisfy the same formulas
in a certain modal logic. In this paper we study this type of result in a
general context, moving from transition systems to coalgebras and from
bisimilarity to coinductive predicates. We formulate when a logic fully
characterises a coinductive predicate on coalgebras, by providing suitable
notions of adequacy and expressivity, and give sufficient conditions on the
semantics. The approach is illustrated with logics characterising similarity,
divergence and a behavioural metric on automata.
通过纤维进行行为测量的最新技术
DOI：
10.4230/lipics.concur.2018.17
发表时间：
2018
期刊：
ArXiv
影响因子：
--
作者：
Filippo Bonchi;Barbara König;Daniela Petrişan
通讯作者：
Daniela Petrişan
影响因子：
0.6
作者：
Baldan, Paolo;Bonchi, Filippo;Koenig, Barbara
通讯作者：
Koenig, Barbara