Inflationary Fixed Points in Modal Logic (2002)
Cached
Download Links
- [www-mgi.informatik.rwth-aachen.de]
- [www-mgi.informatik.rwth-aachen.de]
- DBLP
Other Repositories/Bibliography
by
Anuj Dawar
,
Erich Grädel
,
Stephan Kreutzer
| Citations: | 18 - 8 self |
BibTeX
@MISC{Dawar02inflationaryfixed,
author = {Anuj Dawar and Erich Grädel and Stephan Kreutzer},
title = {Inflationary Fixed Points in Modal Logic},
year = {2002}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We consider an extension of modal logic with an operator for constructing...
