{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,7]],"date-time":"2025-12-07T16:02:12Z","timestamp":1765123332400,"version":"3.37.3"},"reference-count":16,"publisher":"Oxford University Press (OUP)","issue":"5","license":[{"start":{"date-parts":[[2020,5,13]],"date-time":"2020-05-13T00:00:00Z","timestamp":1589328000000},"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\/501100001807","name":"Funda\u00e7\u00e3o de Amparo \u00e0 Pesquisa do Estado de S\u00e3o Paulo","doi-asserted-by":"publisher","award":["2019\/17407-2","2016\/25891-3"],"award-info":[{"award-number":["2019\/17407-2","2016\/25891-3"]}],"id":[{"id":"10.13039\/501100001807","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003593","name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico","doi-asserted-by":"publisher","award":["403272\/2019-0"],"award-info":[{"award-number":["403272\/2019-0"]}],"id":[{"id":"10.13039\/501100003593","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,9,24]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>We offer tableaux systems for logics of essence and accident and logics of non-contingency, showing their soundness and completeness for Kripke semantics. We also show an interesting parallel between these logics based on the semantic insensitivity of the two non-normal operators by which these logics are expressed.<\/jats:p>","DOI":"10.1093\/jigpal\/jzaa016","type":"journal-article","created":{"date-parts":[[2020,5,12]],"date-time":"2020-05-12T19:09:57Z","timestamp":1589310597000},"page":"719-738","source":"Crossref","is-referenced-by-count":1,"title":["Tableaux for essence and contingency"],"prefix":"10.1093","volume":"29","author":[{"given":"Giorgio","family":"Venturi","sequence":"first","affiliation":[{"name":"Department of Philosophy, IFCH, State University of Campinas, Bar\u00e3o Geraldo, S\u00e3o Paulo, 13083-970, Brazil"}]},{"given":"Pedro","family":"Teixeira Yago","sequence":"additional","affiliation":[{"name":"Department of Philosophy, IFCH, State University of Campinas, Bar\u00e3o Geraldo, S\u00e3o Paulo, 13083-970, Brazil"}]}],"member":"286","published-online":{"date-parts":[[2020,5,13]]},"reference":[{"journal-title":"Logic and Logical Philosophy","article-title":"A non-standard Kripke semantics for the minimal deontic logic","author":"Bezerra","key":"2021091710462139000_ref1"},{"key":"2021091710462139000_ref2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"Blackburn","year":"2001"},{"key":"2021091710462139000_ref3","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/BF00370288","article-title":"Necessity and contingency","volume":"47","author":"Cresswell","year":"1988","journal-title":"Studia Logica"},{"key":"2021091710462139000_ref4","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":"2021091710462139000_ref5","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1007\/BF01344203","article-title":"The logic of essence","volume":"24","author":"Fine","year":"1995","journal-title":"Journal of Philosophical Logic"},{"key":"2021091710462139000_ref6","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5292-1","volume-title":"First-Order Modal Logic","author":"Fitting","year":"1998"},{"key":"2021091710462139000_ref7","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"},{"journal-title":"Logic Journal of IGPL","article-title":"A note on logics of essence and accident","author":"Gilbert","key":"2021091710462139000_ref8"},{"key":"2021091710462139000_ref9","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"},{"volume-title":"An Introduction to Modal Logic: The Lemmon Notes","year":"1977","author":"Lemmon","key":"2021091710462139000_ref10"},{"key":"2021091710462139000_ref11","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":"2021091710462139000_ref12","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":"2021091710462139000_ref13","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511801174","volume-title":"An Introduction to Non-Classical Logic","author":"Priest","year":"2008"},{"volume-title":"Classical Propositional Operators","author":"Segerberg","key":"2021091710462139000_ref14"},{"key":"2021091710462139000_ref15","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/s11229-007-9167-8","article-title":"Comments to \u2018logics of public communications\u2019","volume":"158","author":"van Ditmarsch","year":"2007","journal-title":"Synthese"},{"key":"2021091710462139000_ref16","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":"http:\/\/academic.oup.com\/jigpal\/article-pdf\/29\/5\/719\/40331083\/jzaa016.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"http:\/\/academic.oup.com\/jigpal\/article-pdf\/29\/5\/719\/40331083\/jzaa016.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,17]],"date-time":"2021-09-17T10:51:56Z","timestamp":1631875916000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article\/29\/5\/719\/5831792"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,5,13]]},"references-count":16,"journal-issue":{"issue":"5","published-online":{"date-parts":[[2020,5,13]]},"published-print":{"date-parts":[[2021,9,24]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzaa016","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"type":"print","value":"1367-0751"},{"type":"electronic","value":"1368-9894"}],"subject":[],"published-other":{"date-parts":[[2021,10]]},"published":{"date-parts":[[2020,5,13]]}}}