An interval logic for natural language semantics
Savas Konur · Advances in Modal Logic · 2008
Most temporal logics, particularly interval temporal logics, are not expressive enough to capture meanings of natural language construc- tions, and they are not convenient to represent temporal expressions. In addition, these formal systems exhibit high computational complexity. In this paper we introduce a decidable event-based interval logic, called EIL. EIL can express the semantics of some natural language constructions.