{"id":"https://openalex.org/W2786830778","doi":"https://doi.org/10.1093/logcom/exx016","title":"A modal logic of knowledge, belief and estimation","display_name":"A modal logic of knowledge, belief and estimation","publication_year":2017,"publication_date":"2017-04-20","ids":{"openalex":"https://openalex.org/W2786830778","doi":"https://doi.org/10.1093/logcom/exx016","mag":"2786830778"},"language":"en","primary_location":{"id":"doi:10.1093/logcom/exx016","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exx016","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5063130789","display_name":"Costas D. Koutras","orcid":"https://orcid.org/0000-0002-2488-0167"},"institutions":[{"id":"https://openalex.org/I158716096","display_name":"University of Peloponnese","ror":"https://ror.org/04d4d3c02","country_code":"GR","type":"education","lineage":["https://openalex.org/I158716096"]}],"countries":["GR"],"is_corresponding":true,"raw_author_name":"Costas D. Koutras","raw_affiliation_strings":["Department of Informatics and Telecommunications, University of Peloponnese, end of Karaiskaki Street, 22100 Tripolis, Greece. E-mail: ckoutras@uop.gr"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Informatics and Telecommunications, University of Peloponnese, end of Karaiskaki Street, 22100 Tripolis, Greece. E-mail: ckoutras@uop.gr","institution_ids":["https://openalex.org/I158716096"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087450456","display_name":"Christos Moyzes","orcid":"https://orcid.org/0009-0000-5629-6638"},"institutions":[{"id":"https://openalex.org/I200777214","display_name":"National and Kapodistrian University of Athens","ror":"https://ror.org/04gnjpq42","country_code":"GR","type":"education","lineage":["https://openalex.org/I200777214"]}],"countries":["GR"],"is_corresponding":true,"raw_author_name":"Christos Moyzes","raw_affiliation_strings":["Department of Mathematics, University of Athens, Panepistimiopolis, 157 84 Ilissia, Greece.E-mail: cmoyzes@yahoo.grzikos@sch.gr"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics, University of Athens, Panepistimiopolis, 157 84 Ilissia, Greece.E-mail: cmoyzes@yahoo.grzikos@sch.gr","institution_ids":["https://openalex.org/I200777214"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5079725039","display_name":"Yorgos Zikos","orcid":null},"institutions":[{"id":"https://openalex.org/I200777214","display_name":"National and Kapodistrian University of Athens","ror":"https://ror.org/04gnjpq42","country_code":"GR","type":"education","lineage":["https://openalex.org/I200777214"]}],"countries":["GR"],"is_corresponding":true,"raw_author_name":"Yorgos Zikos","raw_affiliation_strings":["Department of Mathematics, University of Athens, Panepistimiopolis, 157 84 Ilissia, Greece.E-mail: cmoyzes@yahoo.grzikos@sch.gr"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics, University of Athens, Panepistimiopolis, 157 84 Ilissia, Greece.E-mail: cmoyzes@yahoo.grzikos@sch.gr","institution_ids":["https://openalex.org/I200777214"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5063130789","https://openalex.org/A5079725039","https://openalex.org/A5087450456"],"corresponding_institution_ids":["https://openalex.org/I158716096","https://openalex.org/I200777214"],"apc_list":{"value":4533,"currency":"USD","value_usd":4533},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.22414127,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"27","issue":"8","first_page":"2303","last_page":"2339"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9901999831199646,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9679999947547913,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/normal-modal-logic","display_name":"Normal modal logic","score":0.6089356541633606},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.6004766821861267},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5669621229171753},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.5530019998550415},{"id":"https://openalex.org/keywords/estimation","display_name":"Estimation","score":0.47986310720443726},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.3712323307991028},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.35177695751190186},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.10142815113067627},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.08232688903808594}],"concepts":[{"id":"https://openalex.org/C114092440","wikidata":"https://www.wikidata.org/wiki/Q840226","display_name":"Normal modal logic","level":4,"score":0.6089356541633606},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.6004766821861267},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5669621229171753},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.5530019998550415},{"id":"https://openalex.org/C96250715","wikidata":"https://www.wikidata.org/wiki/Q965330","display_name":"Estimation","level":2,"score":0.47986310720443726},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.3712323307991028},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.35177695751190186},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.10142815113067627},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.08232688903808594},{"id":"https://openalex.org/C188027245","wikidata":"https://www.wikidata.org/wiki/Q750446","display_name":"Polymer chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1093/logcom/exx016","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exx016","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.8299999833106995,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":46,"referenced_works":["https://openalex.org/W28966907","https://openalex.org/W145304015","https://openalex.org/W616378507","https://openalex.org/W783487439","https://openalex.org/W1275821725","https://openalex.org/W1527588453","https://openalex.org/W1530375570","https://openalex.org/W1544323190","https://openalex.org/W1570374618","https://openalex.org/W1587191403","https://openalex.org/W1596067335","https://openalex.org/W1602662714","https://openalex.org/W1632763991","https://openalex.org/W1764709094","https://openalex.org/W1879819495","https://openalex.org/W1964307898","https://openalex.org/W1991650963","https://openalex.org/W2005447243","https://openalex.org/W2032206951","https://openalex.org/W2034646159","https://openalex.org/W2035353139","https://openalex.org/W2068303037","https://openalex.org/W2075459626","https://openalex.org/W2085158502","https://openalex.org/W2090068334","https://openalex.org/W2118490872","https://openalex.org/W2131236983","https://openalex.org/W2136367100","https://openalex.org/W2159753366","https://openalex.org/W2210256781","https://openalex.org/W2403925901","https://openalex.org/W2491369160","https://openalex.org/W2509227549","https://openalex.org/W2610670723","https://openalex.org/W4211144022","https://openalex.org/W4211175662","https://openalex.org/W4229971457","https://openalex.org/W4233906803","https://openalex.org/W4242309855","https://openalex.org/W4255480610","https://openalex.org/W6606494137","https://openalex.org/W6622524219","https://openalex.org/W6636029305","https://openalex.org/W6636747562","https://openalex.org/W6683263791","https://openalex.org/W6729571160"],"related_works":["https://openalex.org/W2101793126","https://openalex.org/W2028144918","https://openalex.org/W142011187","https://openalex.org/W1530784265","https://openalex.org/W2175984923","https://openalex.org/W2534562289","https://openalex.org/W4318188140","https://openalex.org/W2795425183","https://openalex.org/W2549709684","https://openalex.org/W2947093719"],"abstract_inverted_index":{"The":[0,229],"actions":[1],"of":[2,79,107,145,156,175,220,224,272,294],"an":[3,56,214,218],"agent":[4,24],"operating":[5],"in":[6,55,149,184,206,248,289],"a":[7,30,42,76,89,95,104,142,173,192,245,286],"complex":[8],"environment":[9],"are":[10,19,67,187,276],"based":[11],"on":[12,231],"her":[13],"knowledge":[14,80],"and":[15,50,65,84,116,133,158,168,190,217,264,297],"beliefs.":[16],"Epistemic":[17],"states":[18],"typically":[20],"incomplete,":[21],"thus":[22,298],"the":[23,98,101,146,221,225,259,269,299],"has":[25,72,126],"often":[26],"to":[27,38,162,172,242,268],"estimate":[28],"whether":[29],"fact":[31,216],"is":[32,88,152,160,212,234,239,251,281,303],"true":[33],"or":[34],"false":[35],"before":[36],"proceeding":[37],"actions.":[39],"We":[40,140,165,257],"introduce":[41],"modal":[43,62,91],"framework":[44],"for":[45,262],"reasoning":[46],"about":[47],"Knowledge,":[48],"Belief":[49,66],"Estimation,":[51],"three":[52],"attitudes":[53],"involved":[54],"agent\u2019s":[57],"decision-making":[58],"process.":[59],"In":[60],"this":[61,123],"account,":[63],"Knowledge":[64],"captured":[68],"by":[69,81,113,129,136],"|$\\mathbf{S4.2}$|":[70],"which":[71,150,185,249],"been":[73,127],"advocated":[74],"as":[75,94,208],"\u2018correct\u2019":[77],"logic":[78,147],"W.":[82,290],"Lenzen":[83],"R.":[85],"Stalnaker.":[86],"Estimation":[87],"non-normal":[90],"operator":[92,125],"interpreted":[93],"\u2018majority\u2019":[96,124],"quantifier;":[97],"approach":[99],"employs":[100],"\u2018weak":[102,188],"filters\u2019,":[103],"general":[105],"notion":[106],"\u2018big\u2019":[108],"subsets":[109],"introduced":[110,128,226,288],"within":[111],"KR":[112],"K.":[114],"Schlechta":[115],"V.":[117],"Jauregui.":[118],"Its":[119],"axiomatization":[120],"reveals":[121],"that":[122,199,210,283],"J.":[130],"Burgess":[131],"(1969)":[132],"used":[134],"also":[135],"A.":[137],"Herzig":[138],"(2003).":[139],"provide":[141,258],"full":[143],"account":[144],"|$\\mathbf{KBE}$|":[148,207],"estimation":[151,227,233,250],"complete:":[153],"exactly":[154],"one":[155],"|$\\varphi$|":[157,201,211],"|$\\neg\\varphi$|":[159],"estimated":[161],"be":[163,203],"true.":[164],"prove":[166],"soundness":[167,263],"completeness":[169,265],"with":[170,181,266],"respect":[171,267],"class":[174,271],"frames":[176,180,273],"combining":[177],"relational":[178],"Kripke":[179],"Scott-Montague":[182],"semantics":[183,302],"neighbourhoods":[186,275],"ultrafilters\u2019":[189],"present":[191],"tableaux":[193],"proof":[194],"procedure.":[195],"It":[196],"comes":[197],"out":[198],"believing":[200],"can":[202],"equivalently":[204],"defined":[205],"\u2018estimating":[209],"known\u2019,":[213],"interesting":[215],"indication":[219],"intuitive":[222],"correctness":[223],"operator.":[228],"assumption":[230],"complete":[232],"rather":[235],"strong;":[236],"yet,":[237],"it":[238,280],"not":[240,255],"hard":[241],"define":[243],"|$\\mathbf{KBiE}$|\u2060,":[244],"relaxed":[246],"variant":[247],"still":[252],"consistent":[253],"but":[254],"complete.":[256],"technical":[260],"details":[261],"larger":[270],"where":[274],"weak":[277,295,300],"filters.":[278],"Finally,":[279],"proved":[282],"|$\\mathbf{KBiE}$|":[284],"invalidates":[285],"rule":[287],"Lenzen\u2019s":[291],"probabilistic":[292,308],"analysis":[293],"belief":[296],"filter":[301],"essentially":[304],"different":[305],"than":[306],"its":[307],"counterpart.":[309]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}