Knowable as knowing how to inquire

DOI10.1007/978-3-031-89610-1_18MaRDI QIDQ6889843zbMATH OpenFDO

Authors Yi-Ting Wang, Yanjing Wang

Publication date 4 December 2025

Full work available at URL https://doi.org/10.1007/978-3-031-89610-1_18

zbMATH Keywords

arbitrary public announcement logicexpressivityinquiryknowabilityknowing how

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites work

• `Knowable' as `known after an announcement'
• A logic of goal-directed knowing how
• A logical analysis of some value concepts
• Beyond knowing that: a new generation of epistemic logics
• Group announcement logic
• Knowing values and public inspection
• Logics for knowability
• Logics of public communications
• Multi-agent knowing how via multi-step plans: a dynamic epistemic planning based approach
• Positive announcements
• Propositional quantification in logics of contingency
• Quantifying over Boolean announcements
• Undecidability for arbitrary public announcement logic
• What one may come to know

This page was built for publication: Knowable as knowing how to inquire

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