Modalities in the Stone age: A comparison of coalgebraic logics
Modalities in the Stone age: A comparison of coalgebraic logics
复制标题
石器时代的形态：余代数逻辑的比较
DOI：
10.1016/j.tcs.2012.03.027
复制
发表时间：
2012
影响因子：
1.1
通讯作者：
Kurz A
中科院分区：
文献类型：
--
作者：
Kurz A
余代数发展了一个一般理论的过渡系统，参数的函子T;函子T规定了可能的一步行为的系统。在这一领域的一个基本问题是如何获得，对于任意函子T，T-余代数的逻辑。我们比较了两个现有的建议，Moss的共代数逻辑和所有谓词提升的逻辑，通过提供它们之间的一步翻译，通过系统地使用Stone对偶扩展了Raul Andres Leal（2008）[34]的结果。我们的主要贡献，然后是一个新的coalgebraic逻辑，它可以被看作是一个等式axiomatisation莫斯的逻辑。这三个逻辑对于一个自然但受限制的函子类是等价的。我们给出的例子表明，不同的逻辑一般。最后，我们认为，寻求一个通用的逻辑T-余代数仍然是开放的一般情况下。
Coalgebra develops a general theory of transition systems, parametric in a functor T; the functor T specifies the possible one-step behaviours of the system. A fundamental question in this area is how to obtain, for an arbitrary functor T, a logic for T-coalgebras. We compare two existing proposals, Moss’s coalgebraic logic and the logic of all predicate liftings, by providing one-step translations between them, extending the results in Raul Andres Leal (2008) [34] by making systematic use of Stone duality. Our main contribution then is a novel coalgebraic logic, which can be seen as an equational axiomatisation of Moss’s logic. The three logics are equivalent for a natural but restricted class of functors. We give examples showing that the logics differ in general. Finally, we argue that the quest for a generic logic for T-coalgebras is still open in the general case.
登录
查看更多内容
DOI：
--
发表时间：
2012
期刊：
Log. Methods Comput. Sci.
影响因子：
--
作者：
A. Kurz;J. Rosický
通讯作者：
J. Rosický
煤代数覆盖模态的证明系统
DOI：
--
发表时间：
2008
期刊：
Advances in Modal Logic
影响因子：
--
作者：
M. Bílková;A. Palmigiano;Y. Venema
通讯作者：
Y. Venema
影响因子：
1.9
作者：
J. Adámek;J. Rosický;E. Vitale
通讯作者：
E. Vitale
DOI：
10.1109/lics.2001.932486
发表时间：
2001-06
期刊：
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science
影响因子：
--
作者：
M. Fiore;D. Turi
通讯作者：
M. Fiore;D. Turi
DOI：
10.1016/s1571-0661(04)80632-7
发表时间：
2003-07
期刊：
--
影响因子：
--
作者：
F. Bartels;A. Sokolova;E. Vink
通讯作者：
F. Bartels;A. Sokolova;E. Vink