Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Inflationary Fixed Points in Modal Logics

Inflationary Fixed Points in Modal Logics

Anuj Dawar‚ Erich Grädel and Stephan Kreutzer

Journal
ACM Transactions on Computational Logic (TOCL
Number
2
Pages
282 − 315
Volume
5
Year
2004

Links

See Also

Back to Top