An axiomatization for until and since over the reals without the IRR rule (Q1207338)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 149607
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | An axiomatization for until and since over the reals without the IRR rule |
scientific article; zbMATH DE number 149607 |
Statements
An axiomatization for until and since over the reals without the IRR rule (English)
0 references
1 April 1993
0 references
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).
0 references
axiomatization of temporal logic
0 references
semantics
0 references
linear temporal structures
0 references
real flow of time
0 references
0.864569902420044
0 references
0.863219678401947
0 references
0.8572884798049927
0 references
0.7934781908988953
0 references
