Articles citing this article

The Citing articles tool gives a list of articles citing the current article.
The citing articles come from EDP Sciences database, as well as other publishers participating in CrossRef Cited-by Linking Program. You can set up your personal account to receive an email alert each time this article is cited by a new article (see the menu on the right-hand side of the abstract page).

Cited article:

Three notes on the complexity of model checking fixpoint logic with chop

Martin Lange

RAIRO-Theor. Inf. Appl., 41 2 (2007) 177-190

Published online: 2007-07-18

DOI: https://doi.org/10.1051/ita:2007011

This article has been cited by the following article(s):

Separating the Expressive Power of Propositional Dynamic and Modal Fixpoint Logics

Eric Alsmann, Florian Bruse and Martin Lange
Electronic Proceedings in Theoretical Computer Science 339 10 (2021)
https://doi.org/10.4204/EPTCS.339.4

Temporal logic with recursion

Florian Bruse and Martin Lange
Information and Computation 281 104804 (2021)
https://doi.org/10.1016/j.ic.2021.104804

A new framework for the verification of service trust behaviors

Jumana El-Qurna, Hamdi Yahyaoui and Mohamed Almulla
Knowledge-Based Systems 121 7 (2017)
https://doi.org/10.1016/j.knosys.2017.01.011

Propositional dynamic logic of context-free programs and fixpoint logic with chop

Martin Lange and Rafał Somla
Information Processing Letters 100 (2) 72 (2006)
https://doi.org/10.1016/j.ipl.2006.04.019