Inquisitive logic as an epistemic logic of knowing how

DOI10.1016/J.APAL.2022.103145OpenAlexW4226034888MaRDI QIDQ2172829FDOQ2172829

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

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)

Cites Work

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

Cited In (2)

• A Logic of Knowing How
• 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)