A.N.Prior's Ideas on the Relation Between Semantics and Axiomatics for Temporal Logic

Peter Øhrstrøm

A.N.Prior's Ideas on the Relation Between Semantics and Axiomatics for Temporal Logic

Peter Øhrstrøm

Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

Original language	English
Title of host publication	Perspectives on Time
Editors	Faye, Jan : Scheffler, Uwe : Urchs, Max (eds.)
Place of Publication	Dordrecht
Publisher	Kluwer Academic Publishers
Publication date	1997
Pages	443-458
ISBN (Print)	0792343301
Publication status	Published - 1997

Series	Boston Studies in the Philosophy of Science
Number	189
ISSN	0068-0346

Keywords

Tidslogik
Tenselogik
Semantik
Tid
Logik

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@inbook{947699b0809311db8b97000ea68e967b,

title = "A.N.Prior's Ideas on the Relation Between Semantics and Axiomatics for Temporal Logic",

keywords = "Tidslogik, Tenselogik, Semantik, Tid, Logik, Tidslogik, Tenselogik, Semantik, Tid, Logik",

author = "Peter {\O}hrstr{\o}m",

year = "1997",

language = "English",

isbn = "0792343301",

series = "Boston Studies in the Philosophy of Science",

publisher = "Kluwer Academic Publishers",

number = "189",

pages = "443--458",

editor = "\{Faye, Jan : Scheffler, Uwe : Urchs, Max (eds.)\}",

booktitle = "Perspectives on Time",

}

A.N.Prior's Ideas on the Relation Between Semantics and Axiomatics for Temporal Logic. / Øhrstrøm, Peter.
Perspectives on Time. ed. / Faye, Jan : Scheffler, Uwe : Urchs, Max (eds.). Dordrecht: Kluwer Academic Publishers, 1997. p. 443-458 (Boston Studies in the Philosophy of Science; No. 189).

Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

TY - CHAP

T1 - A.N.Prior's Ideas on the Relation Between Semantics and Axiomatics for Temporal Logic

AU - Øhrstrøm, Peter

PY - 1997

Y1 - 1997

KW - Tidslogik

KW - Tenselogik

KW - Semantik

KW - Tid

KW - Logik

KW - Tidslogik

KW - Tenselogik

KW - Semantik

KW - Tid

KW - Logik

M3 - Book chapter

SN - 0792343301

T3 - Boston Studies in the Philosophy of Science

SP - 443

EP - 458

BT - Perspectives on Time

A2 - Faye, Jan : Scheffler, Uwe : Urchs, Max (eds.), null

PB - Kluwer Academic Publishers

CY - Dordrecht

ER -