Bisimulation quotients of Veltman models
The paper is devoted to the interpretability logic first studied by P. Hájek and V. Švejdar and developed by A. Visser. It is a modal description of the interpretability predicate. In the paper, bisimulation quotients and largest bisimulations with respect to Veltman models are studied (those models are the basic semantics for interpretability logic).
scientific article; zbMATH DE number 6039650