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)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(87)90052-x

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,122

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

Equivalence among RC-type paraconsistent logics.Mauricio Osorio & José Abel Castellanos Joo - 2017 - Logic Journal of the IGPL 25 (2):239-252.
Semantical analysis of weak Kleene logics.Roberto Ciuni & Massimiliano Carrara - 2019 - Journal of Applied Non-Classical Logics 29 (1):1-36.
Kripke Saul A.. Semantical considerations for modal logics. Proceedings of a Colloquium on Modal and Many-valued Logics, Helsinki, 23-26 August, 1962, Acta Philosophica Fennica 1963, pp. 83–94. [REVIEW]Dov Gabbay - 1969 - Journal of Symbolic Logic 34 (3):501-501.
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.
A Copernican turn in temporal logics.Petr Švarný - unknown
Review: Saul A. Kripke, Semantical Considerations for Modal Logics. [REVIEW]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 and incompleteness results for first-order temporal logics of linear time.Stephan Merz - 1992 - Journal of Applied Non-Classical Logics 2 (2):139-156.
Decidability Results for Metric and Layered Temporal Logics.Angelo Montanari & Alberto Policriti - 1996 - Notre Dame Journal of Formal Logic 37 (2):260-282.
Cut Elimination Theorem for Non-Commutative Hypersequent Calculus.Andrzej Indrzejczak - 2017 - Bulletin of the Section of Logic 46 (1/2).
First-order swap structures semantics for some Logics of Formal Inconsistency.Marcelo E. Coniglio, Aldo Figallo-Orellano & Ana Claudia Golzio - 2020 - Journal of Logic and Computation 30 (6):1257-1290.
An intuitionistic characterization of classical logic.Ming Hsiung - 2008 - Journal of Philosophical Logic 37 (4):299 - 317.
A general tableau method for propositional interval temporal logics: Theory and implementation.V. Goranko, A. Montanari, P. Sala & G. Sciavicco - 2006 - Journal of Applied Logic 4 (3):305-330.
A Logical Choice.Tracy Lupher - 2012 - Southwest Philosophy Review 28 (1):237-246.

Analytics

Added to PP
2020-12-22

Downloads
7 (#1,281,834)

6 months
3 (#760,965)

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