Author:
Areces C.,Fervari R.,Hoffmann G.
Publisher
Oxford University Press (OUP)
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Bisimulation in model-changing modal logics: An algorithmic study;Journal of Logic and Computation;2023-08-24
2. Relation-changing models meet paraconsistency;Journal of Logical and Algebraic Methods in Programming;2023-06
3. Copy and remove as dynamic operators;Journal of Applied Non-Classical Logics;2021-08-23
4. Verification of dynamic bisimulation theorems in Coq;Journal of Logical and Algebraic Methods in Programming;2021-04
5. Introducing fuzzy reactive graphs: a simple application on biology;Soft Computing;2021-03-31