Linear, branching time and joint closure semantics for temporal logic
An approach to temporal logic, based on so-called joint closure models, is presented. The relation between this approach and linear and branching time models is discussed. Using a universal algebraic construction based on notions from category theory, it is shown that a set of linear models can be merged to a unique branching time model. Logical properties of the described algebraic constructions are studied.
scientific article; zbMATH DE number 1880391