Inflationary Fixed Points in Modal Logics
A. Dawar‚ E. Grädel and S. Kreutzer
Book Title
Proc. of the 10th Conf. on Computer Science Logic (CSL)
Pages
277–291
Publisher
#springer#
Series
Lecture Notes in Computer Science
Volume
2142
Year
2001
A. Dawar‚ E. Grädel and S. Kreutzer