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

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
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1093/jigpal/9.5.677
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 69,257
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

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

Add more references

Citations of this work BETA

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

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 Temporal Indifference Interval Determined by the Method of Mean Error.H. Woodrow - 1934 - Journal of Experimental Psychology 17 (2):167.
An Event-Based Fragment of First-Order Logic Over Intervals.Savas Konur - 2011 - Journal of Logic, Language and Information 20 (1):49-68.
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.

Analytics

Added to PP index
2014-01-20

Total views
14 ( #729,345 of 2,499,869 )

Recent downloads (6 months)
1 ( #417,749 of 2,499,869 )

How can I increase my downloads?

Downloads

My notes