engleski

Bisimulations and bismulation quotients of generalized Veltman models

Notion of bisimulation is central in modal model theory. Here we consider interpretability logic, a modal description of the interpretability predicate, and try to determine the most suitable notion of bisimulation for generalized Veltman semantics. In the first part of that paper we consider several notions of bisimulation and determine connections between them. In the second part we develop some further model theoretic properties for generalized Veltman semantics and consider diculties that arise when studying quotient structures.

generalized Veltman models; bisimualtion

nije evidentirano