Axiomatizing consciousness, with applications

Henk Barendregt, Antonino Raffone

Consciousness will be introduced axiomatically, inspired by Buddhist insight meditation and psychology, logic in computer science, and cognitive neuroscience, as consisting of a st…