Bisimulations, model descriptions and propositional quantifiers

DSpace/Manakin Repository

Bisimulations, model descriptions and propositional quantifiers
 
Visser, A.
(1996) Logic Group Preprint Series, volume 161
(Preprint)
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.
Download/Full Text
Open Access version via Utrecht University Repository
 
 
See more statistics about this item