{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,11]],"date-time":"2025-12-11T07:38:33Z","timestamp":1765438713624,"version":"3.37.3"},"reference-count":18,"publisher":"Oxford University Press (OUP)","issue":"7","license":[{"start":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T00:00:00Z","timestamp":1619740800000},"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\/501100001824","name":"Czech Science Foundation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001824","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,10,22]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>In this paper, we study the epistemic extensions of distributive substructural inquisitive logics. Substructural inquisitive logics are logics of questions based on substructural logics of declarative sentences. They generalize basic inquisitive logic which is based on the classical logic of declaratives. We show that if the underlying substructural logic is distributive, the generalization can be extended to embrace also the epistemic modalities \u2018knowing whether\u2019 and \u2018wondering whether\u2019 that are applicable to questions. We construct a semantic framework for a language of propositional substructural logics enriched with a question-forming operator (inquisitive disjunction) and epistemic modalities. We show that within this framework, one can define a canonical model with suitable properties for any (syntactically defined) epistemic inquisitive logic. This leads to a general approach to completeness proofs for such logics. A deductive system for the weakest epistemic inquisitive logic is described and completeness proved for this special case using the general method.<\/jats:p>","DOI":"10.1093\/logcom\/exab008","type":"journal-article","created":{"date-parts":[[2021,4,1]],"date-time":"2021-04-01T03:14:41Z","timestamp":1617246881000},"page":"1820-1844","source":"Crossref","is-referenced-by-count":6,"title":["Epistemic extensions of substructural inquisitive logics"],"prefix":"10.1093","volume":"31","author":[{"given":"V\u00edt","family":"Pun\u010doch\u00e1\u0159","sequence":"first","affiliation":[{"name":"Institute of Computer Science, Czech Academy of Sciences, Pod Vod\u00e1renskou v\u011b\u017e\u00ed 271\/2, 182 00 Praque, The Czech Republic"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Igor","family":"Sedl\u00e1r","sequence":"additional","affiliation":[{"name":"Institute of Computer Science, Czech Academy of Sciences, Pod Vod\u00e1renskou v\u011b\u017e\u00ed 271\/2, 182 00 Praque, The Czech Republic"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2021,4,30]]},"reference":[{"volume-title":"Situations and Attitudes","year":"1983","author":"Barwise","key":"2021102214135613600_ref1"},{"key":"2021102214135613600_ref2","doi-asserted-by":"crossref","first-page":"1815","DOI":"10.1093\/logcom\/exv009","article-title":"Epistemic logics for Skeptical agents","volume":"26","author":"B\u00edlkov\u00e1","year":"2016","journal-title":"Journal of Logic and Computation"},{"key":"2021102214135613600_ref3","first-page":"94","article-title":"Modalities in the realm of questions: Axiomatizing inquisitive epistemic logic","volume-title":"Advances in Modal Logic 2014","author":"Ciardelli","year":"2014"},{"key":"2021102214135613600_ref4","article-title":"PhD Thesis","volume-title":"Questions in Logic","author":"Ciardelli","year":"2016"},{"key":"2021102214135613600_ref5","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/s10992-010-9142-6","article-title":"Inquisitive logic","volume":"40","author":"Ciardelli","year":"2011","journal-title":"Journal of Philosophical Logic"},{"key":"2021102214135613600_ref6","doi-asserted-by":"crossref","first-page":"1643","DOI":"10.1007\/s11229-014-0404-7","article-title":"Inquisitive dynamic epistemic logic","volume":"192","author":"Ciardelli","year":"2015","journal-title":"Synthese"},{"volume-title":"Inquisitive Semantics","year":"2019","author":"Ciardelli","key":"2021102214135613600_ref7"},{"key":"2021102214135613600_ref8","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1215\/00294527-2019-0033","article-title":"Questions and dependency in intuitionistic logic","volume":"61","author":"Ciardelli","year":"2020","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"2021102214135613600_ref9","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1007\/BF00671566","article-title":"Sequent systems and groupoid models, Part 1","volume":"47","author":"Do\u0161en","year":"1988","journal-title":"Studia Logica"},{"key":"2021102214135613600_ref10","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about Knowledge","author":"Fagin","year":"1995"},{"key":"2021102214135613600_ref11","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/BF00257480","article-title":"Models for entailment","volume":"3","author":"Fine","year":"1974","journal-title":"Journal of Philosophical Logic"},{"key":"2021102214135613600_ref12","doi-asserted-by":"crossref","first-page":"522","DOI":"10.1093\/mind\/XXI.84.522","article-title":"Implication and the algebra of logic","volume":"21","author":"Lewis","year":"1912","journal-title":"Mind"},{"key":"2021102214135613600_ref13","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/s10992-015-9379-1","article-title":"A generalization of inquisitive semantics","volume":"45","author":"Pun\u010doch\u00e1\u0159","year":"2016","journal-title":"Journal of Philosophical Logic"},{"key":"2021102214135613600_ref14","first-page":"1643","article-title":"Algebras of information states","volume":"27","author":"Pun\u010doch\u00e1\u0159","year":"2017","journal-title":"Journal of Logic and Computation"},{"key":"2021102214135613600_ref15","doi-asserted-by":"crossref","first-page":"296","DOI":"10.1017\/S1755020319000017","article-title":"Substructural inquisitive logics","volume":"12","author":"Pun\u010doch\u00e1\u0159","year":"2019","journal-title":"The Review of Symbolic Logic"},{"key":"2021102214135613600_ref16","doi-asserted-by":"crossref","first-page":"905","DOI":"10.1007\/s10992-019-09541-9","article-title":"A relevant logic of questions","volume":"49","author":"Pun\u010doch\u00e1\u0159","year":"2020","journal-title":"Journal of Philosophical Logic"},{"volume-title":"Relevant Logic: A Philosophical Examination of Inference","year":"1989","author":"Read","key":"2021102214135613600_ref17"},{"key":"2021102214135613600_ref18","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1080\/11663081.2015.1094313","article-title":"Substructural epistemic logics","volume":"25","author":"Sedl\u00e1r","year":"2015","journal-title":"Journal of Applied Non-Classical Logics"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/31\/7\/1820\/40820406\/exab008.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/31\/7\/1820\/40820406\/exab008.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,27]],"date-time":"2024-08-27T08:11:36Z","timestamp":1724746296000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/31\/7\/1820\/6259459"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,4,30]]},"references-count":18,"journal-issue":{"issue":"7","published-online":{"date-parts":[[2021,4,30]]},"published-print":{"date-parts":[[2021,10,22]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exab008","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"type":"print","value":"0955-792X"},{"type":"electronic","value":"1465-363X"}],"subject":[],"published-other":{"date-parts":[[2021,10]]},"published":{"date-parts":[[2021,4,30]]}}}