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:

PROOF SYSTEMS FOR TWO-WAY MODAL MU-CALCULUS

BAHAREH AFSHARI, SEBASTIAN ENQVIST, GRAHAM E. LEIGH, JOHANNES MARTI and YDE VENEMA
The Journal of Symbolic Logic 1 (2023)
https://doi.org/10.1017/jsl.2023.60

Foundations of Software Science and Computation Structures

Alex Simpson
Lecture Notes in Computer Science, Foundations of Software Science and Computation Structures 10203 283 (2017)
https://doi.org/10.1007/978-3-662-54458-7_17

Programming Languages and Systems

James Brotherston, Nikos Gorogiannis and Rasmus L. Petersen
Lecture Notes in Computer Science, Programming Languages and Systems 7705 350 (2012)
https://doi.org/10.1007/978-3-642-35182-2_25

Automated Reasoning with Analytic Tableaux and Related Methods

James Brotherston
Lecture Notes in Computer Science, Automated Reasoning with Analytic Tableaux and Related Methods 3702 78 (2005)
https://doi.org/10.1007/11554554_8