Author:
Hansen Helle Hvid,Kupke Clemens,Leal Raul Andres
Publisher
Springer Berlin Heidelberg
Reference31 articles.
1. Balbiani, P., Vakarelov, D.: Iteration-free PDL with intersection: a complete axiomatisation. Fundamenta Informaticae 45, 173–194 (2001)
2. Berwanger, D.: Game Logic is strong enough for parity games. Studia Logica 75(2), 205–219 (2003)
3. Chellas, B.F.: Modal Logic - An Introduction. Cambridge University Press (1980)
4. Cirstea, C., Kurz, A., Pattinson, D., Schröder, L., Venema, Y.: Modal logics are coalgebraic. In: Abramsky, S. (ed.) Visions of Computer Science 2008 (2008)
5. Fischer, M., Ladner, R.: Propositional dynamic logic of regular programs. J. of Computer and System Sciences 18, 194–211 (1979)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Pooling Modalities and Pointwise Intersection: Semantics, Expressivity, and Dynamics;Journal of Philosophical Logic;2022-01-07
2. Canonical Automata via Distributive Law Homomorphisms;Electronic Proceedings in Theoretical Computer Science;2021-12-29
3. Hennessy-Milner Results for Probabilistic PDL;Electronic Notes in Theoretical Computer Science;2020-10
4. A RECIPE FOR STATE-AND-EFFECT TRIANGLES;LOG METH COMPUT SCI;2017
5. Weak Completeness of Coalgebraic Dynamic Logics;Electronic Proceedings in Theoretical Computer Science;2015-09-09