Linear, branching time and joint closure semantics for temporal logic (Q1863748)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Linear, branching time and joint closure semantics for temporal logic |
scientific article; zbMATH DE number 1880391
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Linear, branching time and joint closure semantics for temporal logic |
scientific article; zbMATH DE number 1880391 |
Statements
Linear, branching time and joint closure semantics for temporal logic (English)
0 references
12 March 2003
0 references
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.
0 references
linear time
0 references
semantics
0 references
temporal logic
0 references
joint closure models
0 references
branching time
0 references
0.9239682
0 references
0 references
0.91307867
0 references
0 references
