Bisimulations, model descriptions and propositional quantifiers
Publication date
1996-04-02
Authors
Visser, A.
Editors
Advisors
Supervisors
DOI
Document Type
Preprint
Metadata
Show full item recordCollections
License
Abstract
In this paper we give perspicuous proofs of the existence of model descriptions for finite Kripke
models and of Uniform Interpolation for the theories IPC, K, GL and S4Grz, using bounded bisimulations.