I. INTRODUCTION AND DEFINITIONS In this report, we shall give a simple counterexample to negative Theorem 1 and Proposition 3 (c)(ii)in [1] and explain the difference between the large-past Markov property and *-Marko...
Kit Fine proved in [3] that the Interpolation Theorem failed in some standard quantified modal systems containning S5, and contradicted some results of K. A. Bowen, He wrote, 'Since Bowen’s proof of Robinson’s Joint...