A Relational Model For Temporal Logic

&
Logic Journal of the IGPL 6 (2):157-173 (1998)
  Copy   BIBTEX

Abstract

We use Tarski's relational calculus to construct a model of linear temporal logic. Both discrete and dense time are covered and we obtain denotational domains for a large variety of reactive systems

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/6.2.157

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,809

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

An infinitary variant of Metric Temporal Logic over dense time domains.S. Baratella - 2004 - Mathematical Logic Quarterly 50 (3):249.
A note on unbounded metric temporal logic over dense time domains.Stefano Baratella & Andrea Masini - 2006 - Mathematical Logic Quarterly 52 (5):450-456.
Relational dual tableaux for interval temporal logics.David Bresolin, Joanna Golinska-Pilarek & Ewa Orlowska - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):251–277.
Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic.Michael Kaminski & Nissim Francez - 2014 - Studia Logica 102 (3):479-497.
Dynamic Topological Logic Interpreted over Minimal Systems.David Fernández-Duque - 2011 - Journal of Philosophical Logic 40 (6):767-804.
Propositional temporal logics: decidability and completeness.O. Lichtenstein & A. Pneuli - 2000 - Logic Journal of the IGPL 8 (1):55-85.
Linear temporal justification logics with past and future time modalities.Meghdad Ghari - 2023 - Logic Journal of the IGPL 31 (1):1-38.
A two‐dimensional metric temporal logic.Stefano Baratella & Andrea Masini - 2020 - Mathematical Logic Quarterly 66 (1):7-19.
Nonrepresentable sequential algebras.P. Jipsen & R. Maddux - 1997 - Logic Journal of the IGPL 5 (4):565-574.
On phase semantics and denotational semantics: the exponentials.Antonio Bucciarelli & Thomas Ehrhard - 2001 - Annals of Pure and Applied Logic 109 (3):205-241.

Analytics

Added to PP
2015-02-04

Downloads
4 (#1,801,576)

6 months
3 (#1,471,842)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references