Frankowski BISIMULATIONS AND p - MORPHISMS

Abstract

One of the fundamental notions of model theory for modal logics is a bisimulation. Indeed it not only preserves logical value of formulas but it plays the important role for the modal definable classes of models ([2]). The main scope of the paper is to present several types of bisimulations that are proper for the different types of model structures… (More)

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics