Inquisitive logic as an epistemic logic of knowing how

DOI10.1016/J.APAL.2022.103145MaRDI QIDQ2172829zbMATH OpenOpenAlexFDO

Authors Haoyu Wang, Yanjing Wang, Yunsong Wang

Publication date 16 September 2022

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2203.12253

zbMATH Keywords

resolutionepistemic logicintuitionistic logicinquisitive logicBHK-interpretationlogic of knowing how

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)

Recommendations

• Modalities in the realm of questions: axiomatizing inquisitive epistemic logic
• A Logic of Knowing How
• Beyond knowing that: a new generation of epistemic logics
• Epistemic extensions of substructural inquisitive logics
• A new modal framework for epistemic logic

Cites work

• scientific article; zbMATH DE number 3448545 (Why is no real title available?)
• scientific article; zbMATH DE number 824735 (Why is no real title available?)
• scientific article; zbMATH DE number 7561348 (Why is no real title available?)
• scientific article; zbMATH DE number 7585721 (Why is no real title available?)
• A first-order inquisitive semantics
• A logic of goal-directed knowing how
• A logic of knowing why
• A modal interpretation of the logic of interrogation
• A new modal framework for epistemic logic
• Action models in inquisitive logic
• An epistemic interpretation of tensor disjunction
• Beyond knowing that: a new generation of epistemic logics
• Dependency as question entailment
• INQUISITIVE BISIMULATION
• Implicit and explicit stances in logic
• Inquisitive dynamic epistemic logic
• Inquisitive logic
• Inquisitive propositional dynamic logic
• Intuitionistic logic as epistemic logic
• On axiomatizations of public announcement logic
• On the semantics and logic of declaratives and interrogatives
• Planning-based knowing how: a unified approach
• Propositional inquisitive logic: a survey
• Questions and dependency in intuitionistic logic
• Questions as information types
• Some results on intermediate constructive logics
• The logic of public announcements, common knowledge, and private suspicions
• Toward a dynamic logic of questions
• Truth-maker semantics for intuitionistic logic
• Undefinability in inquisitive logic with tensor
• Weak negation in inquisitive semantics
• `Knowable' as `known after an announcement'

Cited in

(4)

• A Logic of Knowing How
• An epistemic interpretation of tensor disjunction
• Reducing contrastive knowledge
• Inquisitive Logic as an Epistemic Logic of Knowing How

This page was built for publication: Inquisitive logic as an epistemic logic of knowing how

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2172829)