Koki Nishizawa. Multi-Valued Modal Fixed Point Logics for Model Checking. IEICE Transactions, 93-D(8):2036-2039, 2010. [doi]
@article{Nishizawa10,
title = {Multi-Valued Modal Fixed Point Logics for Model Checking},
author = {Koki Nishizawa},
year = {2010},
url = {http://search.ieice.org/bin/summary.php?id=e93-d_8_2036},
tags = {modal logic, model checking, meta-model, logic, Meta-Environment},
researchr = {https://researchr.org/publication/Nishizawa10},
cites = {0},
citedby = {0},
journal = {IEICE Transactions},
volume = {93-D},
number = {8},
pages = {2036-2039},
}