Interval-Related Interpolation in Interval Temporal Logics

Logic Journal of the IGPL 9 (5):677-685 (2001)
  Copy   BIBTEX

Abstract

This paper presents a new kind of interpolation theorems about Neighbourhood Logic and Interval Temporal Logic . Unlike Craig interpolation, which holds for these logics too, the new theorems treat the existence of interpolants which specify properties of selected intervals in the models of NL and ITL

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/9.5.677

Links

PhilArchive



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

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

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.
Negation and Temporal Ontology.Tero Tulenheimo - 2011 - Australasian Journal of Philosophy 89 (1):101-114.
The interval: relation and becoming in Irigaray, Aristotle, and Bergson.Rebecca Hill - 2012 - New York: Fordham University Press.
The temporal indifference interval determined by the method of mean error.H. Woodrow - 1934 - Journal of Experimental Psychology 17 (2):167.
Accuracy of visual interpolation between scale markers as a function of the number assigned to the scale interval.A. Chapanis & M. Leyzorek - 1950 - Journal of Experimental Psychology 40 (5):655.
An Event-Based Fragment of First-Order Logic over Intervals.Savas Konur - 2011 - Journal of Logic, Language and Information 20 (1):49-68.
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.
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.
Interpolation in non-classical logics.Giovanna D’Agostino - 2008 - Synthese 164 (3):421 - 435.
Temporal conditioning as a function of instructions and intertrial interval.J. Preston Harley - 1973 - Journal of Experimental Psychology 100 (1):178.
Interval Orders and Reverse Mathematics.Alberto Marcone - 2007 - Notre Dame Journal of Formal Logic 48 (3):425-448.
Effects of Interval on Recall.W. Brown - 1924 - Journal of Experimental Psychology 7 (6):469.
Interstimulus interval effects in GSR discrimination conditioning.Russell A. Lockhart & William W. Grings - 1964 - Journal of Experimental Psychology 67 (3):209.

Analytics

Added to PP
2014-01-20

Downloads
16 (#855,572)

6 months
1 (#1,459,555)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Logical Interpolation and Projection onto State in the Duration Calculus.Dimitar P. Guelev - 2004 - Journal of Applied Non-Classical Logics 14 (1-2):181-208.

Add more citations

References found in this work

[Omnibus Review].M. J. Cresswell - 1975 - Journal of Symbolic Logic 40 (4):602-602.

Add more references