{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,30]],"date-time":"2025-10-30T07:15:44Z","timestamp":1761808544336,"version":"3.40.3"},"publisher-location":"Cham","reference-count":36,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031156281"},{"type":"electronic","value":"9783031156298"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-15629-8_3","type":"book-chapter","created":{"date-parts":[[2022,9,24]],"date-time":"2022-09-24T16:26:53Z","timestamp":1664036813000},"page":"46-62","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Axiomatizing Consciousness with\u00a0Applications"],"prefix":"10.1007","author":[{"given":"Henk","family":"Barendregt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonino","family":"Raffone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,9,7]]},"reference":[{"unstructured":"Anuruddha, A.: A comprehensive manual of Abhidhamma (Abhidhammattha Sangaha). In: Bodhi, B., Rewata-Dhamma, U. (eds.) Buddhist Publication Society, Kandy ($$\\pm $$1200\/1993), translation by Mahathera N\u0101rada","key":"3_CR1"},{"unstructured":"Aristotle: Organon: Posterior Analytics. Web Edition, University of Adelaide. https:\/\/ebooks.adelaide.edu.au\/a\/aristotle\/a8poa\/ ($$\\pm $$350BC\/1928), translation by GRG Mure of the Greek original","key":"3_CR2"},{"unstructured":"Barendregt, H.P.: Mysticism and beyond. Eastern Buddhist XXIX, 262\u2013287 (1996). http:\/\/ftp.science.ru.nl\/CSI\/CompMath.Found\/bp2.pdf. Attachments are ways to cover-up emptiness","key":"3_CR3"},{"key":"3_CR4","first-page":"92","volume-title":"Alan Turing, His Work and Impact","author":"HP Barendregt","year":"2013","unstructured":"Barendregt, H.P., Raffone, A.: Conscious cognition as a discrete, deterministic, and universal Turing machine process. In: Cooper, S., van Leeuwen, J. (eds.) Alan Turing, His Work and Impact, pp. 92\u201397. Elsevier, Amsterdam (2013)"},{"unstructured":"Barendregt, J.T.: De Zielenmarkt, over psychotherapie in alle ernst. Boom (1982). English translation. www.cs.ru.nl\/ henk\/JTBarendregtFobias.pdf","key":"3_CR5"},{"doi-asserted-by":"crossref","unstructured":"Barnard, P.J.: Interacting cognitive subsystems: modeling working memory phenomena within a multiprocessor architecture. In: Shah, A.M.P. (ed.) Models of Working Memory: Mechanisms of Active Maintenance and Executive Control, pp. 298\u2013339. Cambridge University Press (1999)","key":"3_CR6","DOI":"10.1017\/CBO9781139174909.012"},{"issue":"1","key":"3_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1080\/02699939108411021","volume":"5","author":"PJ Barnard","year":"1991","unstructured":"Barnard, P.J., Teasdale, J.D.: Interacting cognitive subsystems: a systemic approach to cognitive-affective interaction and change. Cogn. Emot. 5(1), 1\u201339 (1991)","journal-title":"Cogn. Emot."},{"doi-asserted-by":"crossref","unstructured":"Bitbol, M.: Is consciousness primary? NeuroQuantology, pp. 53\u201371 (2008)","key":"3_CR8","DOI":"10.14704\/nq.2008.6.1.157"},{"unstructured":"Brouwer, L.E.J.: Historical background, principles and methods of intuitionism. S. Afr. J. Sci. 49 (1952)","key":"3_CR9"},{"key":"3_CR10","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/978-94-017-0253-9_1","volume-title":"Thirty Five Years of Automating Mathematics","author":"NG de Bruijn","year":"2003","unstructured":"de Bruijn, N.G.: A mathematical model for biological memory and consciousness. In: Kamareddine, F. (ed.) Thirty Five Years of Automating Mathematics, vol. 28, pp. 9\u201323. Kluwer Academic Publishers, Dordrecht (2003). https:\/\/doi.org\/10.1007\/978-94-017-0253-9_1"},{"unstructured":"Buddhaghosa, B.: The Path of Purification: Visuddhimagga. Buddhist Publication Society, Pariyatti Publishing ($$\\pm $$400 AD\/1999), pali original appeared around 400 AD. Translator: Bhikkhu N\u0303\u0101namoli. www.urbandharma.org\/pdf1\/PathofPurification2011.pdf","key":"3_CR11"},{"key":"3_CR12","first-page":"200","volume":"2","author":"DJ Chalmers","year":"1995","unstructured":"Chalmers, D.J.: Facing up to the problem of consciousness. J. Conscious. Stud. 2, 200\u2013219 (1995)","journal-title":"J. Conscious. Stud."},{"issue":"4","key":"3_CR13","first-page":"4","volume":"223","author":"J Conway","year":"1970","unstructured":"Conway, J., et al.: The game of life. Sci. Am. 223(4), 4 (1970)","journal-title":"Sci. Am."},{"issue":"5","key":"3_CR14","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1016\/j.tics.2006.03.007","volume":"10","author":"S Dehaene","year":"2006","unstructured":"Dehaene, S., Changeux, J.P., Naccache, L., Sackur, J., Sergent, C.: Conscious, preconscious, and subliminal processing: a testable taxonomy. Trends Cogn. Sci. 10(5), 204\u2013211 (2006)","journal-title":"Trends Cogn. Sci."},{"issue":"4","key":"3_CR15","doi-asserted-by":"publisher","first-page":"231","DOI":"10.3758\/BF03210211","volume":"8","author":"R Efron","year":"1970","unstructured":"Efron, R.: Effect of stimulus duration on perceptual onset and offset latencies. Percept. Psychophysics 8(4), 231\u2013234 (1970). https:\/\/doi.org\/10.3758\/BF03210211","journal-title":"Percept. Psychophysics"},{"issue":"6","key":"3_CR16","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1016\/j.cogsys.2017.10.003","volume":"47","author":"C Fields","year":"2018","unstructured":"Fields, C., Hoffman, D.D., Singh, M., Prakash, C.: Conscious agent networks: formal analysis and application to cognition. Cogn. Syst. Res. 47(6), 186\u2013213 (2018)","journal-title":"Cogn. Syst. Res."},{"key":"3_CR17","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1038\/nrn2787","volume":"11","author":"K Friston","year":"2010","unstructured":"Friston, K.: The free-energy principle: a unified brain theory? Nat. Rev. Neurosci. 11, 127\u2013138 (2010). https:\/\/doi.org\/10.1038\/nrn2787","journal-title":"Nat. Rev. Neurosci."},{"key":"3_CR18","doi-asserted-by":"publisher","first-page":"443","DOI":"10.3389\/fnhum.2013.00443","volume":"7","author":"S Gallagher","year":"2013","unstructured":"Gallagher, S.: A pattern theory of self. Front. Hum. Neurosci. 7, 443 (2013)","journal-title":"Front. Hum. Neurosci."},{"doi-asserted-by":"crossref","unstructured":"Hilbert, D.: Mathematical problems. Bull. (New Series) Am. Math. Soc. 37(4), 407\u2013436 (2000), reprint of Bull. Amer. Math. Soc. 8, 437\u2013479 (1902)","key":"3_CR19","DOI":"10.1090\/S0273-0979-00-00881-8"},{"issue":"11","key":"3_CR20","doi-asserted-by":"publisher","first-page":"803","DOI":"10.1038\/nrn2716","volume":"10","author":"A Hobson","year":"2009","unstructured":"Hobson, A.: REM sleep and dreaming: towards a theory of protoconsciousness. Nat. Rev. Neurosci. 10(11), 803\u2013862 (2009)","journal-title":"Nat. Rev. Neurosci."},{"key":"3_CR21","doi-asserted-by":"publisher","first-page":"577","DOI":"10.3389\/fpsyg.2014.00577","volume":"5","author":"DD Hoffman","year":"2014","unstructured":"Hoffman, D.D., Prakash, C.: Objects of consciousness. Front. Psychol. 5, 577 (2014). https:\/\/doi.org\/10.3389\/fpsyg.2014.00577","journal-title":"Front. Psychol."},{"issue":"4","key":"3_CR22","first-page":"313","volume":"3","author":"P Hut","year":"1996","unstructured":"Hut, P., Shepard, R.N.: Turning the hard problem upside-down and sideways. J. Conscious. Stud. 3(4), 313\u2013329 (1996)","journal-title":"J. Conscious. Stud."},{"issue":"6","key":"3_CR23","doi-asserted-by":"publisher","first-page":"1816","DOI":"10.4249\/scholarpedia.1816","volume":"10","author":"EM Izhikevich","year":"2015","unstructured":"Izhikevich, E.M., Conway, J.H., Seth, A.: Game of life. Scholarpedia 10(6), 1816 (2015)","journal-title":"Scholarpedia"},{"key":"3_CR24","volume-title":"Lack and Transcendence: The Problem of Death and Life in Psychotherapy, Existentialism, and Buddhism","author":"D Loy","year":"1996","unstructured":"Loy, D.: Lack and Transcendence: The Problem of Death and Life in Psychotherapy, Existentialism, and Buddhism. Humanities Press, London (1996)"},{"issue":"4","key":"3_CR25","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1016\/j.jcss.2004.04.001","volume":"69","author":"W Maa\u00df","year":"2004","unstructured":"Maa\u00df, W., Markram, H.: On the computational power of circuits of spiking neurons. J. Comput. Syst. Sci. 69(4), 593\u2013616 (2004)","journal-title":"J. Comput. Syst. Sci."},{"key":"3_CR26","volume-title":"Manual of Insight","author":"S Mahasi","year":"2016","unstructured":"Mahasi, S.: Manual of Insight. Wisdom Books, Kerala (2016)"},{"doi-asserted-by":"crossref","unstructured":"Merleau-Ponty, M.: Phenomenology of Perception. Routledge, England (1945\/2013)","key":"3_CR27","DOI":"10.4324\/9780203720714"},{"key":"3_CR28","doi-asserted-by":"publisher","first-page":"658","DOI":"10.1109\/10.391164","volume":"42","author":"RD Pascual-Marqui","year":"1995","unstructured":"Pascual-Marqui, R.D., Michel, C.M., Lehmann, D.: Segmentation of brain electrical activity into microstates: model estimation and validation. IEEE Trans. Bio-Med. Eng. 42, 658\u2013665 (1995)","journal-title":"IEEE Trans. Bio-Med. Eng."},{"key":"3_CR29","volume-title":"Helgoland","author":"C Rovelli","year":"2021","unstructured":"Rovelli, C.: Helgoland. Taylor & Francis, Oxfordshire (2021)"},{"unstructured":"Slors, M., de Bruijn, L., Strijbos, D.: Philosophy of Mind, Brain and Behaviour. Boom (2015)","key":"3_CR30"},{"key":"3_CR31","first-page":"290","volume":"150","author":"G Tononi","year":"2012","unstructured":"Tononi, G.: Integrated information theory of consciousness: an updated account. Arch. Ital. Biol. 150, 290\u2013326 (2012)","journal-title":"Arch. Ital. Biol."},{"issue":"42","key":"3_CR32","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1112\/plms\/s2-42.1.230","volume":"2","author":"AM Turing","year":"1937","unstructured":"Turing, A.M.: On computable numbers, with an application to the entscheidungsproblem. Proc. Lond. Math. Soc. 2(42), 230\u2013265 (1937)","journal-title":"Proc. Lond. Math. Soc."},{"issue":"2","key":"3_CR33","doi-asserted-by":"publisher","first-page":"502","DOI":"10.1523\/JNEUROSCI.4654-05.2006","volume":"26","author":"R VanRullen","year":"2006","unstructured":"VanRullen, R., Reddy, L., Koch, C.: The continuous wagon wheel illusion is associated with changes in electroencephalogram power at $$\\sim 13$$ Hz. J. Neurosci. 26(2), 502\u2013507 (2006)","journal-title":"J. Neurosci."},{"key":"3_CR34","volume-title":"The Buddhist Doctrine of Momentariness a Survey of the Origins and Early Phase of this Doctrine up to Vasubandhu","author":"A Von Rospatt","year":"1995","unstructured":"Von Rospatt, A.: The Buddhist Doctrine of Momentariness a Survey of the Origins and Early Phase of this Doctrine up to Vasubandhu. F. Steiner, Stuttgart (1995)"},{"unstructured":"Weisberg, J.: Consciousness. Polity (2014). The Hard Problem of Consciousness, Internet Encyclopedia of Philosophy. www.iep.utm.edu\/hard-con\/#SH3a","key":"3_CR35"},{"issue":"7","key":"3_CR36","first-page":"293","volume":"15","author":"A Zylberberg","year":"2011","unstructured":"Zylberberg, A., Dehaene, S., Roelfsema, P.R., Sigman, M.: The human Turing machine: a neural framework for mental programs. Trends Cogn. Sci. 15(7), 293\u2013300 (2011)","journal-title":"Trends Cogn. Sci."}],"container-title":["Lecture Notes in Computer Science","A Journey from Process Algebra via Timed Automata to Model Learning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-15629-8_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,24]],"date-time":"2022-09-24T16:27:33Z","timestamp":1664036853000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-15629-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031156281","9783031156298"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-15629-8_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"7 September 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}