On coarser interval temporal logics

, , , &
Artificial Intelligence 266 (C):1-26 (2019)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2018.09.001

Links

PhilArchive



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

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

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 Road Map of Interval Temporal Logics and Duration Calculi.Valentin Goranko, Angelo Montanari & Guido Sciavicco - 2004 - Journal of Applied Non-Classical Logics 14 (1-2):9-54.
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.
Foreword.Valentin Goranko & Angelo Montanari - 2004 - Journal of Applied Non-Classical Logics 14 (1-2):7-8.
Interval-Related Interpolation in Interval Temporal Logics.Dimitar Guelev - 2001 - Logic Journal of the IGPL 9 (5):677-685.
Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions.Davide Bresolin, Valentin Goranko, Angelo Montanari & Guido Sciavicco - 2010 - Annals of Pure and Applied Logic 161 (3):289-304.
A Correspondence between Temporal Description Logics.Alessandro Artale & Carsten Lutz - 2004 - Journal of Applied Non-Classical Logics 14 (1-2):209-233.
Temporal and Dynamic Logic.Frank Wolter & Michael Wooldridge - 2010 - Journal of the Indian Council of Philosophical Research 27 (1).
Concerted instant-interval temporal semantics. II. Temporal valuations and logics of change.Alexander Bochman - 1990 - Notre Dame Journal of Formal Logic 31 (4):580-601.
John Buridan's Sophismata and interval temporal semantics.Sara L. Uckelman & Spencer Johnston - 2010 - History of Philosophy & Logical Analysis 13:133-147.
An Event-Based Fragment of First-Order Logic over Intervals.Savas Konur - 2011 - Journal of Logic, Language and Information 20 (1):49-68.
A Minimal Hybrid Logic For Intervals.Altaf Hussain - 2006 - Logic Journal of the IGPL 14 (1):35-62.
A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time.Ben Moszkowski - 2004 - Journal of Applied Non-Classical Logics 14 (1-2):55-104.
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.

Analytics

Added to PP
2020-12-22

Downloads
5 (#1,510,250)

6 months
2 (#1,232,442)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Emilio Muñoz-Velasco
Universidad de Málaga

Citations of this work

No citations found.

Add more citations

References found in this work

Expressiveness and completeness of an interval tense logic.Yde Venema - 1990 - Notre Dame Journal of Formal Logic 31 (4):529-547.
Temporal prepositions and their logic.Ian Pratt-Hartmann - 2005 - Artificial Intelligence 166 (1-2):1-36.

Add more references