Skip Nav Destination
Foundations of Computing
Dynamic Logic
By
Dexter Kozen,
Dexter Kozen
Dexter Kozen is Joseph Newton Pew, Jr., Professor of Engineering in the Computing and Information Science Department at Cornell University.
Search for other works by this author on:
Jerzy Tiuryn
Jerzy Tiuryn
Jerzy Tiuryn is Professor in the Institute of Computer Science at the University of Warsaw.
Search for other works by this author on:
The MIT Press
ISBN electronic:
9780262274951
Publication date:
2000
Book Chapter
6: Filtration and Decidability
-
Published:2000
Citation
2000. "Filtration and Decidability", Dynamic Logic, David Harel, Dexter Kozen, Jerzy Tiuryn
Download citation file:
You do not currently have access to this chapter.
Sign in
Don't already have an account? Register
Client Account
You could not be signed in. Please check your email address / username and password and try again.
Could not validate captcha. Please try again.