You don’t often encounter an 80-year-old psychiatrist who uses modular graphics synthesizers and mathematical algorithms to generate vibrant fractal fusions in his spare time. In the strange and creative case of Claude McCoy, he has practiced psychiatry for 50 years but now works only one day a week. After initially downsizing his practice eight years ago, he began experimenting with Bryce on a...

A principled way to study limited forms of reasoning for expressive knowledge bases is to specify the reasoning problem within a suitable logic of limited belief. Ideally such a logic comes equipped with a perspicuous semantics, which provides insights into the nature of the belief model and facilitates the study of the reasoning problem. While a number of such logics were proposed in the past,...

Suppose S and T are shift equivalent mixing shifts of finite type, and / is a conjugacy from a subsystem of S to a subsystem of T. Then for any sufficiently large n, f extends to a conjugacy of Sn and Tn. A consequence of the proof is a fortified version of Wagoner's Stable FOG Theorem. Recall [Wi] that a nonnegative integral matrix A is the adjacency matrix of a directed graph whose arc set is...