Epistemic extensions of substructural inquisitive logics

摘要

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 'knowing whether' and 'wondering whether' 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.