Since the early days of artificial intelligence (AI), many logics have been explored as tools for knowledge representation and reasoning. In the spirit of the Crossley Festscrift and recognizing John Crossley’s diverse interests and his legacy in both mathematical logic and computer science, I discuss examples from my own research that sit in the overlap of logic and AI, with a focus on supporting human–AI interactions.

When engaging with magic, we are moved by seemingly impossible events that contradict what we believe to be possible in the real world. We are surprised, curious, and baffled when we cannot explain how the magic we are witnessing is possible. We generally understand the events to be illusions. But how is it possible to be moved by something we know to be unreal? This problem is related to the paradox of fiction in aesthetics. Here, we introduce the problem in (...) the domain of theatrical magic, discuss possible solutions, and present a tentative account that allows us to accommodate inconsistent, seemingly incompatible beliefs at different representational levels in the viewers’ mind. (shrink)