Johan van Benthem, Daisuke Ikegami. Modal Fixed-Point Logic and Changing Models. In Arnon Avron, Nachum Dershowitz, Alexander Rabinovich, editors, Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. Volume 4800 of Lecture Notes in Computer Science, pages 146-165, Springer, 2008. [doi]
@inproceedings{BenthemI08,
title = {Modal Fixed-Point Logic and Changing Models},
author = {Johan van Benthem and Daisuke Ikegami},
year = {2008},
doi = {10.1007/978-3-540-78127-1_9},
url = {http://dx.doi.org/10.1007/978-3-540-78127-1_9},
tags = {modal logic, logic},
researchr = {https://researchr.org/publication/BenthemI08},
cites = {0},
citedby = {0},
pages = {146-165},
booktitle = {Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday},
editor = {Arnon Avron and Nachum Dershowitz and Alexander Rabinovich},
volume = {4800},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-78126-4},
}