Skip to main content

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
[an error occurred while processing this directive]
Publisher
#springer#
Series
Lecture Notes in Computer Science
Volume
2142
Year
2001