Our objective is to extend the standard results of preservation and reflection of properties by bisimulations to the coalgebraic setting, as well as to study under what conditions these results hold for simulations. The notion of bisimulation is the classical one, while for simulations we use that proposed by Hughes and Jacobs. As for properties, we start by using a generalization of linear temporal logic to arbitrary coalgebras suggested by Jacobs, and then an extension by Kurtz which includes atomic propositions too.

翻译：我们的目标是将双模拟对性质保持和反射的标准结果推广到余代数框架中，并研究在何种条件下这些结果对模拟仍然成立。双模拟的概念采用经典定义，而模拟则使用Hughes和Jacobs提出的概念。对于性质，我们首先采用Jacobs建议的将线性时序逻辑推广至任意余代数的方法，随后使用Kurtz的扩展版本，该版本同时包含原子命题。