General models and completeness of first-order modal mu-calculus | Tokyo Tech Research Repository (T2R2)

Publication Information

Title

Japanese:
English:	General models and completeness of first-order modal mu-calculus

Author

Japanese:	鹿島亮, Keishi Okamoto.
English:	Ryo Kashima, Keishi Okamoto.

Language

English

Journal/Book name

Japanese:
English:	Journal of Logic and Computation

Volume, Number, Page

Vol. 18 No. 4 pp. 497-507

Published date

Aug. 2008

Publisher

Japanese:
English:

Conference name

Japanese:
English:

Conference site

Japanese:
English:

DOI

https://doi.org/10.1093/logcom/exm077

©2007 Tokyo Institute of Technology All rights reserved.