{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,7]],"date-time":"2026-07-07T03:08:47Z","timestamp":1783393727694,"version":"3.54.6"},"reference-count":43,"publisher":"Oxford University Press (OUP)","issue":"8","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,12,1]]},"DOI":"10.1093\/logcom\/exx016","type":"journal-article","created":{"date-parts":[[2017,4,20]],"date-time":"2017-04-20T11:25:11Z","timestamp":1492687511000},"page":"2303-2339","source":"Crossref","is-referenced-by-count":1,"title":["A modal logic of knowledge, belief and estimation"],"prefix":"10.1093","volume":"27","author":[{"given":"Costas D.","family":"Koutras","sequence":"first","affiliation":[{"name":"Department of Informatics and Telecommunications, University of Peloponnese, end of Karaiskaki Street, 22100 Tripolis, Greece. E-mail: ckoutras@uop.gr"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Christos","family":"Moyzes","sequence":"additional","affiliation":[{"name":"Department of Mathematics, University of Athens, Panepistimiopolis, 157 84 Ilissia, Greece.E-mail: cmoyzes@yahoo.grzikos@sch.gr"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yorgos","family":"Zikos","sequence":"additional","affiliation":[{"name":"Department of Mathematics, University of Athens, Panepistimiopolis, 157 84 Ilissia, Greece.E-mail: cmoyzes@yahoo.grzikos@sch.gr"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"286","published-online":{"date-parts":[[2017,6,6]]},"reference":[{"key":"key\n\t\t\t\t20180627103737_B1","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1080\/11663081.2016.1214804","article-title":"Knowledge means \u2018all\u2019, belief means \u2018most\u2019.","volume":"26","author":"Askounis","year":"2016","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"key\n\t\t\t\t20180627103737_B2","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4020-5587-4","volume-title":"Handbook of spatial logics","author":"Aiello","year":"2007"},{"key":"key\n\t\t\t\t20180627103737_B3","first-page":"97","article-title":"Principles of knowledge, belief and conditional belief.","volume-title":"Dialogue, Rationality, and Formalism","author":"Aucher.","year":"2014"},{"key":"key\n\t\t\t\t20180627103737_B4","doi-asserted-by":"crossref","first-page":"1035","DOI":"10.1007\/s11225-015-9609-0","article-title":"Intricate axioms as interaction axioms.","volume":"103","author":"Aucher.","year":"2015","journal-title":"Studia Logica"},{"key":"key\n\t\t\t\t20180627103737_B5","first-page":"27","article-title":"The topology of belief, belief revision and defeasible knowledge.","volume-title":"Proceedings of LORI 2013 - Logic, Rationality, and Interaction","author":"Baltag","year":"2013"},{"key":"key\n\t\t\t\t20180627103737_B6","first-page":"205","article-title":"The topology of full and weak belief.","volume-title":"Revised Selected Papers from TbiLLC 2015 - International Tbilisi Symposium on Logic, Language, and Computation","author":"Baltag","year":"2015"},{"key":"key\n\t\t\t\t20180627103737_B7","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/978-3-662-52921-8_6","article-title":"Justified belief and the topology of evidence.","volume":"Vol. 9803","author":"Baltag","year":"2016","journal-title":"Proceedings of WoLLIC 2016 - Logic, Language, Information, and Computation"},{"key":"key\n\t\t\t\t20180627103737_B8","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"Blackburn","year":"2001"},{"key":"key\n\t\t\t\t20180627103737_B9","doi-asserted-by":"crossref","first-page":"264","DOI":"10.2307\/2271103","article-title":"Probability logic.","volume":"34","author":"Burgess.","year":"1969","journal-title":"Journal of Symbolic Logic"},{"key":"key\n\t\t\t\t20180627103737_B10","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic, An Introduction","author":"Chellas.","year":"1980"},{"key":"key\n\t\t\t\t20180627103737_B11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-65780-1","volume-title":"The Theory of Ultrafilters","author":"Comfort","year":"1974"},{"key":"key\n\t\t\t\t20180627103737_B12","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-2794-5","volume-title":"Proof Methods for Modal and Intuitionistic Logics","author":"Fitting.","year":"1983"},{"key":"key\n\t\t\t\t20180627103737_B13","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5292-1","volume-title":"First-Order Modal Logic","author":"Fitting","year":"1998"},{"key":"key\n\t\t\t\t20180627103737_B14","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/S1874-5857(06)80028-2","article-title":"Epistemic Logic.","volume":"Vol. 7","author":"Gochet","year":"2006","journal-title":"Handbook of the History of Logic"},{"key":"key\n\t\t\t\t20180627103737_B15","volume-title":"Logics of Time and Computation","author":"Goldblatt.","year":"1992","edition":"2nd edition"},{"key":"key\n\t\t\t\t20180627103737_B16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S1874-5857(06)80027-0","article-title":"Mathematical Modal Logic: a View of its Evolution","volume":"Vol. 7","author":"Goldblatt.","year":"2006","journal-title":"Handbook of the History of Logic"},{"key":"key\n\t\t\t\t20180627103737_B17","volume":"Vol. 7","author":"Gabbay","year":"2006","journal-title":"Logic and the Modalities in the Twentieth Century"},{"key":"key\n\t\t\t\t20180627103737_B18","volume-title":"Logic and the Modalities in the Twentieth Century","author":"Gabbay","year":"2006"},{"key":"key\n\t\t\t\t20180627103737_B19","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1007\/BF01531062","article-title":"The relationship between knowledge, belief and certainty.","volume":"4","author":"Halpern.","year":"1991","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"key\n\t\t\t\t20180627103737_B20","doi-asserted-by":"crossref","first-page":"483","DOI":"10.1007\/BF00257382","article-title":"Should knowledge entail belief?","volume":"25","author":"Halpern.","year":"1996","journal-title":"Journal of Philosophical Logic"},{"key":"key\n\t\t\t\t20180627103737_B21","first-page":"323","article-title":"Modal probability, belief, and actions.","volume":"57","author":"Herzig.","year":"2003","journal-title":"Fundamenta Informaticae"},{"key":"key\n\t\t\t\t20180627103737_B22","volume-title":"Knowledge and Belief: An Introduction to the Logic of the Two Notions","author":"Hintikka.","year":"1962"},{"key":"key\n\t\t\t\t20180627103737_B23","doi-asserted-by":"crossref","first-page":"469","DOI":"10.1017\/S1755020309990141","article-title":"Defining knowledge in terms of belief: the modal logic perspective.","volume":"2","author":"Halpern","year":"2009","journal-title":"Review of Symbolic Logic"},{"key":"key\n\t\t\t\t20180627103737_B24","volume-title":"Modalities, Conditionals and Nonmonotonic Reasoning","author":"Jauregui.","year":"2008"},{"key":"key\n\t\t\t\t20180627103737_B25","first-page":"637","article-title":"A modal logic of knowledge, belief, and estimation.","volume":"Vol. 8761","author":"Koutras","year":"2014","journal-title":"Proceedings of JELIA 2014 - Logics in Artificial Intelligence"},{"key":"key\n\t\t\t\t20180627103737_B26","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1305\/ndjfl\/1193667708","article-title":"The modal logic of cluster-decomposable kripke interpretations.","volume":"48","author":"Kaminski","year":"2007","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"key\n\t\t\t\t20180627103737_B27","volume-title":"Recent Work in Epistemic Logic","author":"Lenzen.","year":"1978"},{"key":"key\n\t\t\t\t20180627103737_B28","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BF00205012","article-title":"Epistemologische Betrachtungen zu [S4,S5].","volume":"14","author":"Lenzen.","year":"1979","journal-title":"Erkenntnis"},{"key":"key\n\t\t\t\t20180627103737_B29","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/978-94-007-1001-6_2","article-title":"Knowledge, belief, and subjective probability: outlines of a unified system of epistemic\/doxastic logic.","volume-title":"Knowledge Contributors","author":"Lenzen.","year":"2003"},{"key":"key\n\t\t\t\t20180627103737_B30","first-page":"415","article-title":"Knowledge, certainty, belief, and conditionalisation (abbreviated version).","author":"Lamarre","year":"1994","journal-title":"Proceedings of KR\u201994"},{"key":"key\n\t\t\t\t20180627103737_B31","article-title":"Neighbourhood Semantics for Modal Logic: An Introduction. Course Notes for ESSLLI 2007,","author":"Pacuit.","year":"2007"},{"key":"key\n\t\t\t\t20180627103737_B32","doi-asserted-by":"crossref","first-page":"798","DOI":"10.1111\/phc3.12059","article-title":"Dynamic epistemic logic I: modeling knowledge and belief.","volume":"8","author":"Pacuit.","year":"2013","journal-title":"Philosophy Compass"},{"key":"key\n\t\t\t\t20180627103737_B33","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1093\/logcom\/5.4.473","article-title":"Defaults as generalized quantifiers.","volume":"5","author":"Schlechta.","year":"1995","journal-title":"Journal of Logic and Computation"},{"key":"key\n\t\t\t\t20180627103737_B34","doi-asserted-by":"crossref","first-page":"753","DOI":"10.1093\/jigpal\/5.5.753","article-title":"Filters and partial orders.","volume":"5","author":"Schlechta.","year":"1997","journal-title":"Logic Journal of the IGPL"},{"key":"key\n\t\t\t\t20180627103737_B35","volume-title":"An Essay in Classical Modal Logic","author":"Segerberg.","year":"1971"},{"key":"key\n\t\t\t\t20180627103737_B36","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1016\/S0049-237X(08)70852-8","article-title":"Qualitative probability in a modal setting.","author":"Segerberg.","year":"1971","journal-title":"Proceedings of the Second Scandinavian Logic Symposium"},{"key":"key\n\t\t\t\t20180627103737_B37","first-page":"621","article-title":"Reasoning about knowledge and belief.","volume-title":"Handbook of Knowledge Representation","author":"Shoham.","year":"2008"},{"key":"key\n\t\t\t\t20180627103737_B38","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1007\/s11098-005-4062-y","article-title":"On logics of knowledge and belief.","volume":"128","author":"Stalnaker.","year":"2006","journal-title":"Philosophical Studies"},{"key":"key\n\t\t\t\t20180627103737_B39","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1007\/978-1-4020-5587-4_5","article-title":"Modal logics of space.","volume-title":"Handbook of spatial logics","author":"van Benthem","year":"2007"},{"key":"key\n\t\t\t\t20180627103737_B40","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/s11225-011-9347-x","article-title":"Dynamic logics of evidence-based beliefs.","volume":"99","author":"van Benthem","year":"2011","journal-title":"Studia Logica"},{"key":"key\n\t\t\t\t20180627103737_B41","volume-title":"Handbook of Knowledge Representation","author":"van Harmelen","year":"2008"},{"key":"key\n\t\t\t\t20180627103737_B42","volume-title":"Handbook of Knowledge Representation","author":"van Harmelen","year":"2008"},{"key":"key\n\t\t\t\t20180627103737_B43","volume-title":"As Far as I Know - Epistemic Logic and Uncertainty","author":"Voorbraak.","year":"1993"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/27\/8\/2303\/22301317\/exx016.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,5]],"date-time":"2020-10-05T23:29:02Z","timestamp":1601940542000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/27\/8\/2303\/3861956"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,6]]},"references-count":43,"journal-issue":{"issue":"8","published-online":{"date-parts":[[2017,6,6]]},"published-print":{"date-parts":[[2017,12,1]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exx016","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2017,12]]},"published":{"date-parts":[[2017,6,6]]}}}