Linear, branching time and joint closure semantics for temporal logic
type: Item
instance of: scholarly article
title: Linear, branching time and joint closure semantics for temporal logic
zbMATH Open document ID: 1018.03017
DOI: 10.1023/A:1019999621456
author: Joeri Engelfriet
author: Jan Treur
published in: Journal of Logic, Language and Information
publication date: 2003-03-12T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 03B44
zbMATH DE Number: 1880391
zbMATH Keywords: linear time
zbMATH Keywords: semantics
zbMATH Keywords: temporal logic
zbMATH Keywords: joint closure models
zbMATH Keywords: branching time
reviewed by: Giacomo Bonanno
MaRDI profile type: Publication
full work available at URL: a:1019999621456
OpenAlex ID: W1526188231
Recommended article: From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability
Recommended article: The temporal logic of branching time
Recommended article: Q3343431
Recommended article: Branching within time: An expressively complete and elementarily decidable temporal logic for time granularity
Recommended article: Q4785458
Recommended article: Intuitionistic Linear Temporal Logics
Recommended article: Q4037127
Recommended article: Q4037390
Recommended article: Q5411415
Recommended article: Q4472440
description: scientific article; zbMATH DE number 1880391