Author:
Löding Christof,Rohde Philipp
Publisher
Springer Berlin Heidelberg
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Copy and remove as dynamic operators;Journal of Applied Non-Classical Logics;2021-08-23
2. THE MODAL LOGIC OF STEPWISE REMOVAL;The Review of Symbolic Logic;2020-07-21
3. Modal logics of sabotage revisited;Journal of Logic and Computation;2017-12-25
4. Synthesizing time-triggered schedules for switched networks with faulty links;Proceedings of the 13th International Conference on Embedded Software;2016-10
5. Relation-changing modal operators: Fig. 1.;Logic Journal of IGPL;2015-04-19