{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:18:51Z","timestamp":1725455931271},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540536864"},{"type":"electronic","value":"9783540469827"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/bfb0018440","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T00:30:30Z","timestamp":1132619430000},"page":"170-179","source":"Crossref","is-referenced-by-count":1,"title":["A first order logic of truth, knowledge and belief"],"prefix":"10.1007","author":[{"given":"Nick","family":"Davies","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"11_CR1","series-title":"Departmental Report","volume-title":"Towards a First Order Theory of Reasoning Agents","author":"N.J. Davies","year":"1989","unstructured":"Davies, N.J., \"Towards a First Order Theory of Reasoning Agents\", Departmental Report CSM-130, Dept. of Computer Science, University of Essex, UK, 1989."},{"key":"11_CR2","unstructured":"Davies, N.J., \"A First Order Theory of Reasoning Agents\", Ph.D. Thesis, Dept. of Computer Science, University of Essex, UK, forthcoming."},{"key":"11_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00302338","volume":"11","author":"A. Gupta","year":"1982","unstructured":"Gupta, A., \"Truth and Paradox\", J. Phil. Logic 11, 1\u201360, 1982.","journal-title":"J. Phil. Logic"},{"key":"11_CR4","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/BF00302339","volume":"11","author":"H. Herzberger","year":"1982","unstructured":"Herzberger, H., \"Notes on Naive Semantics\", J. Phil. Logic 11, 61\u2013102, 1982.","journal-title":"J. Phil. Logic"},{"key":"11_CR5","unstructured":"Hughes, G.E. and Cresswell, M.J., \"A Companion to Modal Logic\", Methuen, London, 1984."},{"key":"11_CR6","unstructured":"Konolige, K., \"A First-order Formalisation of Knowledge and Action for a Multi-agent Planning System\", Mach. Int. 10, 1982."},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Kripke, S., \"Outline of a Theory of Truth\", J. Phil., 72, 1975.","DOI":"10.2307\/2024634"},{"key":"11_CR8","first-page":"153","volume":"16","author":"R. Montague","year":"1963","unstructured":"Montague, R., \"Syntactical Treatment of Modalities, with Corollaries on Reflexion Principles and Finite Axiomatizability\", Acta Philosophics Fennica 16, 153\u2013167, 1963.","journal-title":"Acta Philosophics Fennica"},{"key":"11_CR9","unstructured":"Moore, R., \"A Formal Theory of Knowledge and Action\", in \"Formal Theories of the Commonsense World\", Hobbs, J. and Moore, R. (eds), Norwood, NJ, Ablex, 1985."},{"key":"11_CR10","unstructured":"Morgenstern, L., \"Foundations of a Logic of Knowledge, Action and Communication\", PhD Thesis, New York University, 1988."},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Perlis, D., \"Languages with Self-Reference II: Knowledge, Belief and Modality\", AI Journal, 34, 1988.","DOI":"10.1016\/0004-3702(88)90038-0"},{"key":"11_CR12","unstructured":"Reichgelt, H., \"Semantics for a Reified Temporal Logic\", Proceedings of the 1987 AISB Conference, Edinburgh, 6\u201310 April, 1987, pp. 49\u201362."},{"key":"11_CR13","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1007\/BF00413468","volume":"44","author":"R. Thomason","year":"1980","unstructured":"Thomason, R., \"A Note on Syntactical Treatments of Modality\", Synthese 44, pp 391\u2013395, 1980.","journal-title":"Synthese"},{"key":"11_CR14","volume-title":"Truth and Modality for Knowledge Representation","author":"R. Turner","year":"1989","unstructured":"Turner, R., \"Truth and Modality for Knowledge Representation\", Pitman Press, London, 1989."}],"container-title":["Lecture Notes in Computer Science","Logics in AI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0018440","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T22:36:16Z","timestamp":1586558176000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0018440"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540536864","9783540469827"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0018440","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}