Temporal logics in AI: Semantical and ontological considerations

Artificial Intelligence 33 (1):89-104 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,873

External links

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

Through your library

Similar books and articles

Semantical analysis of weak Kleene logics.Roberto Ciuni & Massimiliano Carrara - 2019 - Journal of Applied Non-Classical Logics 29 (1):1-36.
Semantical Considerations for Modal Logics.Saul A. Kripke - 1969 - Journal of Symbolic Logic 34 (3):501-501.
Semantical Considerations for Modal Logics by Saul A. Kripke.Dov Gabbay - 1969 - Journal of Symbolic Logic 34 (3):501-501.
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.
Decidability Results for Metric and Layered Temporal Logics.Angelo Montanari & Alberto Policriti - 1996 - Notre Dame Journal of Formal Logic 37 (2):260-282.
An intuitionistic characterization of classical logic.Ming Hsiung - 2008 - Journal of Philosophical Logic 37 (4):299 - 317.
A Logical Choice.Tracy Lupher - 2012 - Southwest Philosophy Review 28 (1):237-246.

Analytics

Added to PP
2020-12-22

Downloads
10 (#1,216,563)

6 months
5 (#702,332)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Nonmonotonic Reasoning and Causation.Yoav Shoham - 1990 - Cognitive Science 14 (2):213-252.
Temporal logic.Antony Galton - 2008 - Stanford Encyclopedia of Philosophy.

View all 10 citations / Add more citations

References found in this work

Towards a general theory of action and time.James F. Allen - 1984 - Artificial Intelligence 23 (2):123-154.
Intervals and tenses.Peter Roper - 1980 - Journal of Philosophical Logic 9 (4):451 - 469.
Executing Temporal Logic Programs.Joseph Y. Halpern & B. C. Moszkowski - 1988 - Journal of Symbolic Logic 53 (1):309.
Interval semantics for tense logic: Some remarks. [REVIEW]I. L. Humberstone - 1979 - Journal of Philosophical Logic 8 (1):171 - 196.

Add more references