{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:12:09Z","timestamp":1761610329718,"version":"build-2065373602"},"reference-count":13,"publisher":"Elsevier BV","issue":"5","license":[{"start":{"date-parts":[[2002,10,1]],"date-time":"2002-10-01T00:00:00Z","timestamp":1033430400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2002,10,1]],"date-time":"2002-10-01T00:00:00Z","timestamp":1033430400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3954,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2002,10]]},"DOI":"10.1016\/s1571-0661(04)80596-6","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T12:47:47Z","timestamp":1096462067000},"page":"183-198","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":2,"title":["Maximal Introspection of Agents"],"prefix":"10.1016","volume":"70","author":[{"given":"Thomas","family":"Bolander","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80596-6_NEWBIB1","series-title":"\u201cA course in mathematical logic,\u201d","first-page":"xix+599","author":"Bell","year":"1977"},{"year":"1990","author":"Davis","series-title":"\u201cRepresentations of Commonsense Knowledge,\u201d","key":"10.1016\/S1571-0661(04)80596-6_NEWBIB2"},{"key":"10.1016\/S1571-0661(04)80596-6_NEWBIB3","series-title":"in: Theoretical aspects of reasoning about knowledge (Monterey, Calif., 1986)","first-page":"115","article-title":"The consistency of syntactical treatments of knowledge","author":"des Rivi\u00e8res","year":"1986"},{"key":"10.1016\/S1571-0661(04)80596-6_NEWBIB4","doi-asserted-by":"crossref","first-page":"75","DOI":"10.2307\/2274093","article-title":"Toward useful type-free theories I","volume":"49","author":"Feferman","year":"1984","journal-title":"The Journal of Symbolic Logic"},{"year":"1993","author":"Gupta","series-title":"\u201cThe Revision Theory of Truth,\u201d","key":"10.1016\/S1571-0661(04)80596-6_NEWBIB5"},{"key":"10.1016\/S1571-0661(04)80596-6_NEWBIB6","series-title":"\u201cFoundations of logic programming,\u201d","first-page":"xii+212","author":"Lloyd","year":"1987"},{"key":"10.1016\/S1571-0661(04)80596-6_NEWBIB7","first-page":"153","article-title":"Syntactical treatments of modality, with corollaries on reflection principles and finite axiomatizability","volume":"16","author":"Montague","year":"1963","journal-title":"Acta Philosophica Fennica"},{"key":"10.1016\/S1571-0661(04)80596-6_NEWBIB8","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/S0004-3702(98)00085-X","article-title":"Syntactical treatments of propositional attitudes","volume":"106","author":"Morreau","year":"1998","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1571-0661(04)80596-6_NEWBIB9","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/0004-3702(85)90075-X","article-title":"Languages with self-reference I","volume":"25","author":"Perlis","year":"1985","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1571-0661(04)80596-6_NEWBIB10","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/0004-3702(88)90038-0","article-title":"Languages with self-reference II","volume":"34","author":"Perlis","year":"1988","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1571-0661(04)80596-6_NEWBIB11","series-title":"\u201cMathematical theory of domains,\u201d","first-page":"xii+349","author":"Stoltenberg-Hansen","year":"1994"},{"unstructured":"Tarski, A., The concept of truth in formalized languages, in: Logic, semantics, metamathematics, Hackett Publishing Co., Indianapolis, IN, 1956 Papers from 1923 to 1938.","key":"10.1016\/S1571-0661(04)80596-6_NEWBIB12"},{"key":"10.1016\/S1571-0661(04)80596-6_NEWBIB13","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1007\/BF00413468","article-title":"A note on syntactical treatments of modality","volume":"44","author":"Thomason","year":"1980","journal-title":"Synthese"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104805966?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104805966?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:06:11Z","timestamp":1761609971000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104805966"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,10]]},"references-count":13,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2002,10]]}},"alternative-id":["S1571066104805966"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80596-6","relation":{},"ISSN":["1571-0661"],"issn-type":[{"type":"print","value":"1571-0661"}],"subject":[],"published":{"date-parts":[[2002,10]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Maximal Introspection of Agents","name":"articletitle","label":"Article Title"},{"value":"Electronic Notes in Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S1571-0661(04)80596-6","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2002 Published by Elsevier B.V.","name":"copyright","label":"Copyright"}]}}