An axiomatization of the temporal logic with until and since over the real numbers

D. M. Gabbay; I. M. Hodkinson

doi:10.1093/logcom/1.2.229

An axiomatization of the temporal logic with until and since over the real numbers

D. M. Gabbay, I. M. Hodkinson

Imperial College London

Research output: Contribution to journal › Article › peer-review

89 Scopus citations

Abstract

A Hilbert style axiomatization of the temporal logic with connectives Until and Since for the real numbers is presented. We prove independence of the axioms, and completeness for this semantics with respect to single formulas.

Original language	English
Pages (from-to)	229-259
Number of pages	31
Journal	Journal of Logic and Computation
Volume	1
Issue number	2
DOIs	https://doi.org/10.1093/logcom/1.2.229
State	Published - Dec 1990
Externally published	Yes

Access to Document

10.1093/logcom/1.2.229

Cite this

@article{d9b3bd9961224520b6950831e77ed498,

title = "An axiomatization of the temporal logic with until and since over the real numbers",

abstract = "A Hilbert style axiomatization of the temporal logic with connectives Until and Since for the real numbers is presented. We prove independence of the axioms, and completeness for this semantics with respect to single formulas.",

author = "Gabbay, {D. M.} and Hodkinson, {I. M.}",

year = "1990",

month = dec,

doi = "10.1093/logcom/1.2.229",

language = "אנגלית",

volume = "1",

pages = "229--259",

journal = "Journal of Logic and Computation",

issn = "0955-792X",

publisher = "Oxford University Press",

number = "2",

}

TY - JOUR

T1 - An axiomatization of the temporal logic with until and since over the real numbers

AU - Gabbay, D. M.

AU - Hodkinson, I. M.

PY - 1990/12

Y1 - 1990/12

N2 - A Hilbert style axiomatization of the temporal logic with connectives Until and Since for the real numbers is presented. We prove independence of the axioms, and completeness for this semantics with respect to single formulas.

AB - A Hilbert style axiomatization of the temporal logic with connectives Until and Since for the real numbers is presented. We prove independence of the axioms, and completeness for this semantics with respect to single formulas.

UR - http://www.scopus.com/inward/record.url?scp=0008574168&partnerID=8YFLogxK

U2 - 10.1093/logcom/1.2.229

DO - 10.1093/logcom/1.2.229

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:0008574168

SN - 0955-792X

VL - 1

SP - 229

EP - 259

JO - Journal of Logic and Computation

JF - Journal of Logic and Computation

IS - 2

ER -

An axiomatization of the temporal logic with until and since over the real numbers

Abstract

Access to Document

Other files and links

Fingerprint

Cite this