A Modal Logic for Chopping Intervals
Yde Venema · Journal of Logic and Computation · 1991
A Modal Logic for Chopping Intervals YDE VENEMA YDE VENEMA Faculteit Wiskunde en Informatica, Universiteit van AmsterdamPlantage Muidergracht 24, 1018 TV Amsterdam Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 1, Issue 4, September 1991, Pages 453–476, https://doi.org/10.1093/logcom/1.4.453 Published: 01 September 1991 Article history Received: 04 April 1990 Published: 01 September 1991