{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T01:11:09Z","timestamp":1743124269939,"version":"3.40.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319115573"},{"type":"electronic","value":"9783319115580"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11558-0_47","type":"book-chapter","created":{"date-parts":[[2014,9,16]],"date-time":"2014-09-16T02:22:39Z","timestamp":1410834159000},"page":"637-646","source":"Crossref","is-referenced-by-count":2,"title":["A Modal Logic of Knowledge, Belief, and Estimation"],"prefix":"10.1007","author":[{"given":"Costas D.","family":"Koutras","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christos","family":"Moyzes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yorgos","family":"Zikos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"47_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/978-3-642-33353-8_4","volume-title":"Logics in Artificial Intelligence","author":"D. Askounis","year":"2012","unstructured":"Askounis, D., Koutras, C.D., Zikos, Y.: Knowledge means \u2018all\u2019, belief means \u2018most\u2019. In: del Cerro, L.F., Herzig, A., Mengin, J. (eds.) JELIA 2012. LNCS, vol.\u00a07519, pp. 41\u201353. Springer, Heidelberg (2012)"},{"key":"47_CR2","doi-asserted-by":"crossref","unstructured":"Aucher, G.: Principles of knowledge, belief and conditional belief. In: Rebuschi, M., Batt, M., Heinzmann, G., Lihoreau, F., Musiol, M., Trognon, A. (eds.) Dialogue, Rationality, and Formalism. Logic, Argumentation & Reasoning, vol.\u00a03, Springer (2014)","DOI":"10.1007\/978-3-319-03044-9_5"},{"key":"47_CR3","doi-asserted-by":"crossref","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge Tracts in Theoretical Computer Science, vol.\u00a0(53). Cambridge University Press (2001)","DOI":"10.1017\/CBO9781107050884"},{"issue":"2","key":"47_CR4","doi-asserted-by":"publisher","first-page":"264","DOI":"10.2307\/2271103","volume":"34","author":"J.P. Burgess","year":"1969","unstructured":"Burgess, J.P.: Probability logic. J. Symb. Log.\u00a034(2), 264\u2013274 (1969)","journal-title":"J. Symb. Log."},{"key":"47_CR5","volume-title":"Workshop on Logic, Language, Information and Computation, WOLLIC 1994","author":"W.A. Carnielli","year":"1994","unstructured":"Carnielli, W.A., Sette, A.M.: Default operators. In: Workshop on Logic, Language, Information and Computation, WOLLIC 1994, UFPE, Recife (1994)"},{"key":"47_CR6","doi-asserted-by":"crossref","unstructured":"Carnielli, W.A., Veloso, P.A.S.: Ultrafilter logic and generic reasoning. In: Gottlob, et al. (eds.) [12], pp. 34\u201353","DOI":"10.1007\/3-540-63385-5_31"},{"key":"47_CR7","doi-asserted-by":"crossref","unstructured":"Chellas, B.F.: Modal Logic, an Introduction. Cambridge University Press (1980)","DOI":"10.1017\/CBO9780511621192"},{"key":"47_CR8","doi-asserted-by":"crossref","unstructured":"Fitting, M., Mendelsohn, R.L.: First-Order Modal Logic. Synth\u00e9se Library, vol.\u00a0277. Kluwer Academic Publishers (1998)","DOI":"10.1007\/978-94-011-5292-1"},{"key":"47_CR9","doi-asserted-by":"crossref","unstructured":"Fitting, M.C.: Proof Methods for Modal and Intuitionistic Logics. D. Reidel Publishing Co., Dordrecht (1983)","DOI":"10.1007\/978-94-017-2794-5"},{"key":"47_CR10","unstructured":"Gabbay, D.M., Woods, J. (eds.): Logic and the Modalities in the Twentieth Century. Handbook of the History of Logic, vol.\u00a07. North-Holland (2006)"},{"key":"47_CR11","doi-asserted-by":"crossref","unstructured":"Gochet, P., Gribomont, P.: Epistemic logic. Gabbay and Woods [10], vol.\u00a07, pp. 99\u2013195 (2006)","DOI":"10.1016\/S1874-5857(06)80028-2"},{"key":"47_CR12","series-title":"Lecture Notes in Computer Science","volume-title":"Computational Logic and Proof Theory","year":"1997","unstructured":"Gottlob, G., Leitsch, A., Mundici, D. (eds.): KGC 1997. LNCS, vol.\u00a01289. Springer, Heidelberg (1997)"},{"key":"47_CR13","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/BF01531062","volume":"4","author":"J. Halpern","year":"1991","unstructured":"Halpern, J.: The relationship between knowledge, belief and certainty. Annals of Mathematics and Artificial Intelligence\u00a04, 301\u2013322 (1991)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"47_CR14","unstructured":"Halpern, J., Samet, D., Segev, E.: Defining knowledge in terms of belief: The modal logic perspective. Review of Symbolic Logic (to appear)"},{"issue":"2-4","key":"47_CR15","first-page":"323","volume":"57","author":"A. Herzig","year":"2003","unstructured":"Herzig, A.: Modal probability, belief, and actions. Fundamenta Informaticae\u00a057(2-4), 323\u2013344 (2003)","journal-title":"Fundamenta Informaticae"},{"key":"47_CR16","doi-asserted-by":"crossref","unstructured":"Hughes, G.E., Cresswell, M.J.: A New Introduction to Modal Logic. Routledge (1996)","DOI":"10.4324\/9780203290644"},{"key":"47_CR17","unstructured":"Jauregui, V.: Modalities, Conditionals and Nonmonotonic Reasoning. PhD thesis, Department of Computer Science and Engineering, University of New South Wales (2008)"},{"issue":"4","key":"47_CR18","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1305\/ndjfl\/1193667708","volume":"48","author":"M. Kaminski","year":"2007","unstructured":"Kaminski, M., Tiomkin, M.L.: The modal logic of cluster-decomposable kripke interpretations. Notre Dame Journal of Formal Logic\u00a048(4), 511\u2013520 (2007)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"47_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/978-3-319-07064-3_17","volume-title":"Artificial Intelligence: Methods and Applications","author":"C.D. Koutras","year":"2014","unstructured":"Koutras, C.D., Moyzes, C., Nomikos, C., Zikos, Y.: On the \u2018in many cases\u2019 modality: tableaux, decidability, complexity, variants. In: Likas, A., Blekas, K., Kalles, D. (eds.) SETN 2014. LNCS, vol.\u00a08445, pp. 207\u2013220. Springer, Heidelberg (2014)"},{"key":"47_CR20","unstructured":"Koutras, C.D., Moyzes, C., Zikos, Y.: A modal logic of Knowledge, Belief and Estimation. Technical report, Graduate Programme in Algorithms and Computation (2014) (available through the authors\u2019 webpages)"},{"key":"47_CR21","unstructured":"Koutras, C.D., Zikos, Y.: A note on the completeness of S4.2. Technical report, 2013, Graduate Programme in Logic, Algorithms and Computation (December 2013)"},{"key":"47_CR22","unstructured":"Lenzen, W.: Recent Work in Epistemic Logic. North-Holland (1978)"},{"key":"47_CR23","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/BF00205012","volume":"14","author":"W. Lenzen","year":"1979","unstructured":"Lenzen, W.: Epistemologische Betrachtungen zu [S4,S5]. Erkenntnis\u00a014, 33\u201356 (1979)","journal-title":"Erkenntnis"},{"issue":"9","key":"47_CR24","doi-asserted-by":"publisher","first-page":"798","DOI":"10.1111\/phc3.12059","volume":"8","author":"E. Pacuit","year":"2013","unstructured":"Pacuit, E.: Dynamic epistemic logic I: Modeling knowledge and belief. Philosophy Compass\u00a08(9), 798\u2013814 (2013)","journal-title":"Philosophy Compass"},{"issue":"4","key":"47_CR25","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1093\/logcom\/5.4.473","volume":"5","author":"K. Schlechta","year":"1995","unstructured":"Schlechta, K.: Defaults as generalized quantifiers. Journal of Logic and Computation\u00a05(4), 473\u2013494 (1995)","journal-title":"Journal of Logic and Computation"},{"issue":"1","key":"47_CR26","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/s11098-005-4062-y","volume":"128","author":"R. Stalnaker","year":"2006","unstructured":"Stalnaker, R.: On logics of knowledge and belief. Philosophical Studies\u00a0128(1), 169\u2013199 (2006)","journal-title":"Philosophical Studies"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11558-0_47","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,1]],"date-time":"2023-02-01T10:17:37Z","timestamp":1675246657000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-11558-0_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319115573","9783319115580"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11558-0_47","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}