Inquisitive logic as an epistemic logic of knowing how

DOI10.1016/j.apal.2022.103145OpenAlexW4226034888MaRDI QIDQ2172829

Yanjing Wang, Yunsong Wang, Haoyu 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

resolutionintuitionistic logicepistemic logicinquisitive logicBHK-interpretationlogic of knowing how

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Weak negation in inquisitive semantics
• Truth-maker semantics for intuitionistic logic
• On axiomatizations of public announcement logic
• Inquisitive dynamic epistemic logic
• On the semantics and logic of declaratives and interrogatives
• Some results on intermediate constructive logics
• Inquisitive logic
• Toward a dynamic logic of questions
• A modal interpretation of the logic of interrogation
• Propositional inquisitive logic: a survey
• Questions as information types
• Implicit and explicit stances in logic
• Inquisitive propositional dynamic logic
• Questions and dependency in intuitionistic logic
• A logic of goal-directed knowing how
• Planning-based knowing how: a unified approach
• Undefinability in inquisitive logic with tensor
• Action models in inquisitive logic
• A logic of knowing why
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Beyond Knowing That: A New Generation of Epistemic Logics
• ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’
• A First-Order Inquisitive Semantics
• INQUISITIVE BISIMULATION
• Dependency as Question Entailment
• Intuitionistic logic as epistemic logic

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