… our counterexample to MT, we will show how it can be leveraged to learn something about
the logic of knowledge operators. Specifically, we will show how it can be leveraged to argue …

… If so, then our counterexamples to modus ponens are not isolated curiosities but rather
symptoms of a basic difficulty. It is natural to suppose that the English indicative conditional is …

… 1 is to set up some basic notation and to use the cobar construction to define a certain
spectral sequence which converges to … We may take { ei } EI U { e, l to be the positive-dimensional …

… such a space the Sn:s can be chosen to be projections--our example also gives a negative
… this paper to put finite-dimensional spaces together in a combinatorial way--is similar to that …

… In the latter case, the model checker returns a counterexample to φ on K . Such a … However,
counterexamples are only the symptoms of faults and understanding a counterexample to …

… A counterexample is presented for whichit is established that an … There does not appear to
exist any counterexample … For small k and appropriate one policy is to bring a close to zero …

… This paper presents the first counterexample to the conjecture. Our polytope has dimension
43 and 86 facets. It is obtained from a 5-dimen sional polytope with 48 facets that violates a …

… 1 remained open, and as said above the aim of our paper is to construct a counterexample.
… similar to the results of this section may appear in previous work, but our goal is to put them …

… counterexamples. Their choice was not easy. We have tried to include a variety of
counterexamples … Then we present the counterexamples related to the main results, the motivation …

… We do not wish to grant such universal interpretation to the term counterexample, but we
do suggest that its meaning be sufficiently broad to include any example whose role is not that …