A Modal Logic for Chopping Intervals

  title={A Modal Logic for Chopping Intervals},
  author={Yde Venema},
  journal={J. Log. Comput.},
When developing a logical formalism to represent time, several choices are to be made in the field of language, ontology and semantics. E.g. concerning the language an important question is whether to use classical logic or some kind of a modal formalism; the ontology can be such that the timepoints are the basic entities, or one may start with periods of time. Two choices, four possible outcomes: of these, the modal logic of periods seems to have received the least attention [3, 8, 9, 19, 20… CONTINUE READING
Highly Influential
This paper has highly influenced 23 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

From This Paper

Topics from this paper.
104 Citations
20 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 104 extracted citations


Publications referenced by this paper.
Showing 1-10 of 20 references

Interval Logic With Applications to Study of Tense and Aspect in English

  • H. Nishimura
  • Publication of the Research Institute for…
  • 1980
Highly Influential
5 Excerpts

The Logic of Time, Reidel, Dordrecht

  • J. van Benthem
  • 1983
Highly Influential
7 Excerpts

Varieties of relation algebras

  • B. Jonsson
  • Algebra Universalis,
  • 1982
Highly Influential
7 Excerpts

Boolean algebras with operators

  • A. B. Jonsson
  • Tarski
  • 1952
Highly Influential
6 Excerpts

A general method for constructing elementary axioms for classes of representable structures. Manuscript

  • R. Mackenzie
  • 1991
3 Excerpts

Similar Papers

Loading similar papers…