{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,13]],"date-time":"2025-11-13T21:58:50Z","timestamp":1763071130542,"version":"3.37.3"},"reference-count":25,"publisher":"Oxford University Press (OUP)","issue":"1","license":[{"start":{"date-parts":[[2020,9,30]],"date-time":"2020-09-30T00:00:00Z","timestamp":1601424000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"funder":[{"DOI":"10.13039\/501100012456","name":"National Social Science Foundation of China","doi-asserted-by":"publisher","award":["17CZX053"],"award-info":[{"award-number":["17CZX053"]}],"id":[{"id":"10.13039\/501100012456","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,1,11]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>Inspired by an interesting quotation from the literature, we propose four modalities, called \u2018sane belief\u2019, \u2018insane belief\u2019, \u2018reliable belief\u2019 and \u2018unreliable belief\u2019, and introduce logics with each operator as the modal primitive. We show that the four modalities constitute a square of opposition, which indicates some interesting relationships among them. We compare the relative expressivity of these logics and other related logics, including a logic of false beliefs from the literature. The four main logics are all less expressive than the standard modal logic over various model classes, and the logics of sane and insane beliefs are, respectively, equally expressive as the logics of unreliable and reliable beliefs on any class of models. The logics of reliable and unreliable beliefs are then combined into a bimodal logic, which turns out to be equally expressive as the standard modal logic. Despite this, we cannot obtain a complete axiomatization of the minimal bimodal logic, by simply translating the axioms and rules of the minimal modal logic $\\textbf{K}$ into the bimodal language. We then introduce a schematic modality which unifies reliable and unreliable beliefs and axiomatize it over the class of all frames and also the class of serial frames. This line of research is finally extended to unify sane and insane beliefs and some axiomatizations are given.<\/jats:p>","DOI":"10.1093\/jigpal\/jzaa052","type":"journal-article","created":{"date-parts":[[2020,8,29]],"date-time":"2020-08-29T19:08:41Z","timestamp":1598728121000},"page":"78-100","source":"Crossref","is-referenced-by-count":3,"title":["Logics of (In)sane and (Un)reliable Beliefs"],"prefix":"10.1093","volume":"30","author":[{"given":"Jie","family":"Fan","sequence":"first","affiliation":[{"name":"Institute of Philosophy, Chinese Academy of Sciences; School of Humanities, University of Chinese Academy of Sciences, Beijing 100049, China"}]}],"member":"286","published-online":{"date-parts":[[2020,9,30]]},"reference":[{"key":"2022011721250465400_ref1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"Blackburn","year":"2001"},{"key":"2022011721250465400_ref2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-0348-0379-3","volume-title":"Around and Beyond the Square of Opposition","author":"B\u00e9ziau","year":"2012"},{"key":"2022011721250465400_ref3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-45062-9","volume-title":"The Square of Opposition: A Cornerstone of Thought","author":"B\u00e9ziau","year":"2017"},{"key":"2022011721250465400_ref4","first-page":"43","article-title":"A complete axiomatization of Euclidean strong non-contingency logic","volume-title":"Proceedings of 12th Tbilisi Symposium of Language, Logic and Computation (TbiLLC)","author":"Balbiani","year":"2017"},{"article-title":"Logics of essence and accident","year":"2015","author":"Fan","key":"2022011721250465400_ref5"},{"key":"2022011721250465400_ref6","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1007\/s10992-018-9470-5","article-title":"Bimodal logics with contingency and accident","volume":"48","author":"Fan","year":"2019","journal-title":"Journal of Philosophical Logic"},{"key":"2022011721250465400_ref7","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1215\/00294527-2019-0010","article-title":"Strong noncontingency: on the modal logics of an operator expressively weaker than necessity","volume":"60","author":"Fan","year":"2019","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"2022011721250465400_ref8","doi-asserted-by":"crossref","first-page":"851","DOI":"10.1007\/s10992-018-09498-1","article-title":"Symmetric contingency logic with unlimitedly many modalities","volume":"48","author":"Fan","year":"2019","journal-title":"Journal of Philosophical Logic"},{"key":"2022011721250465400_ref9","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5292-1","volume-title":"First-Order Modal Logic","author":"Fitting","year":"1998"},{"key":"2022011721250465400_ref10","first-page":"178","article-title":"Almost necessary","volume":"10","author":"Fan","year":"2014","journal-title":"Advances in Modal Logic"},{"key":"2022011721250465400_ref11","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1017\/S1755020314000343","article-title":"Contingency and knowing whether","volume":"8","author":"Fan","year":"2015","journal-title":"The Review of Symbolic Logic"},{"key":"2022011721250465400_ref12","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1017\/S175502031500026X","article-title":"Reflexive-insensitive modal logics","volume":"9","author":"Gilbert","year":"2016","journal-title":"The Review of Symbolic Logic"},{"key":"2022011721250465400_ref13","doi-asserted-by":"crossref","first-page":"246","DOI":"10.26686\/ajl.v14i1.4033","article-title":"Neighborhood semantics for logics of unknown truths and false beliefs","volume":"14","author":"Gilbert","year":"2017","journal-title":"The Australasian Journal of Logic"},{"key":"2022011721250465400_ref14","doi-asserted-by":"crossref","first-page":"214","DOI":"10.1305\/ndjfl\/1040248455","article-title":"The logic of non-contingency","volume":"36","author":"Humberstone","year":"1995","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"2022011721250465400_ref15","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1305\/ndjfl\/1040248456","article-title":"Minimal non-contingency logic","volume":"36","author":"Kuhn","year":"1995","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"2022011721250465400_ref16","first-page":"43","article-title":"Logics of essence and accident","volume":"34","author":"Marcos","year":"2005","journal-title":"Bulletin of the Section of Logic"},{"key":"2022011721250465400_ref17","article-title":"Deontic logic","volume-title":"The Stanford Encyclopedia of Philosophy","author":"McNamara","year":"2019"},{"key":"2022011721250465400_ref18","first-page":"318","article-title":"Contingency and non-contingency bases for normal modal logics","volume":"9","author":"Montgomery","year":"1966","journal-title":"Logique et Analyse"},{"key":"2022011721250465400_ref19","article-title":"The traditional square of opposition","volume-title":"The Stanford Encyclopedia of Philosophy","author":"Parsons","year":"2017"},{"volume-title":"Lady or the Tiger? And Other Logic Puzzles Including a Mathematical Novel that Features Godel\u2019s Great Discovery","year":"1982","author":"Smullyan","key":"2022011721250465400_ref20"},{"key":"2022011721250465400_ref21","first-page":"93","article-title":"Completeness for various logics of essence and accident","volume":"37","author":"Steinsvold","year":"2008","journal-title":"Bulletin of the Section of Logic"},{"key":"2022011721250465400_ref22","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1215\/00294527-2008-018","article-title":"A note on logics of ignorance and borders","volume":"49","author":"Steinsvold","year":"2008","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"2022011721250465400_ref23","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1215\/00294527-1435438","article-title":"Being wrong: logics for false belief","volume":"52","author":"Steinsvold","year":"2011","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"2022011721250465400_ref24","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/S1571-0661(05)82606-4","article-title":"A logic for ignorance","volume":"85","author":"van der Hoek","year":"2004","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"2022011721250465400_ref25","doi-asserted-by":"crossref","first-page":"533","DOI":"10.1305\/ndjfl\/1012429717","article-title":"Completeness and definability in the logic of noncontingency","volume":"40","author":"Zolin","year":"1999","journal-title":"Notre Dame Journal of Formal Logic"}],"container-title":["Logic Journal of the IGPL"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/jigpal\/article-pdf\/30\/1\/78\/42198230\/jzaa052.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/jigpal\/article-pdf\/30\/1\/78\/42198230\/jzaa052.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,17]],"date-time":"2022-01-17T21:27:31Z","timestamp":1642454851000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article\/30\/1\/78\/5911936"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9,30]]},"references-count":25,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2020,9,30]]},"published-print":{"date-parts":[[2022,1,11]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzaa052","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"type":"print","value":"1367-0751"},{"type":"electronic","value":"1368-9894"}],"subject":[],"published-other":{"date-parts":[[2022,2]]},"published":{"date-parts":[[2020,9,30]]}}}