An axiomatization for until and since over the reals without the IRR rule
type: Item
instance of: scholarly article
title: An axiomatization for until and since over the reals without the IRR rule
zbMATH Open document ID: 0785.03006
DOI: 10.1007/BF00370112
published in: Studia Logica
publication date: 1993-04-01T00:00:00Z
review text: This paper deals with different kinds of approaches to axiomatization of temporal logic. The author considers the case of temporal logic with two temporal connectives: ``until'' and ``since''. The considered semantics consists of linear temporal structures with irreflexive linear order (flow of time). The offered axiomatic system for this temporal logic of real flow of time consists of some Burgess-Xu axioms, axioms of density and no end points, and some additional ones. A similar axiomatic system for ``until''-``since'' temporal logic of integers is also given. These axiomatic systems are orthodox (have only usual temporal rules).
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 149607
zbMATH Keywords: axiomatization of temporal logic
zbMATH Keywords: semantics
zbMATH Keywords: linear temporal structures
zbMATH Keywords: real flow of time
author: Mark Alexander Reynolds
reviewed by: Vladimir Rybakov
MaRDI profile type: Publication
cites work: The logical study of science
cites work: The decision problem for linear temporal logic
cites work: Monadic \(\Pi _ 1^ 1\)-theories of \(\Pi _ 1^ 1\)-properties
cites work: An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
cites work: Q4281254
cites work: The domino relation: Flattening a two-dimensional logic
cites work: On some \(U,S\)-tense logics
cites work: A complete deductive-system for since-until branching-time logic
description: scientific article; zbMATH DE number 149607