An alternative logic for knowability

DOI10.1007/978-3-642-24130-7_25MaRDI QIDQ3094019zbMATH OpenOpenAlexFDO

Authors Xuefeng Wen, Hu Liu, Fan Huang

Publication date 19 October 2011

Published in Logic, Rationality, and Interaction (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-24130-7_25

zbMATH Keywords

dynamic epistemic logicarbitrary announcement logicknowabilitysubset space logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Recommendations

• `Knowable' as `known after an announcement'
• How arbitrary are arbitrary public announcements?
• A Dynamic Epistemic Logic with a Knowability Principle
• Public announcement logic in geometric frameworks
• Total Public Announcements

Cites work

• scientific article; zbMATH DE number 824735 (Why is no real title available?)
• A logical analysis of some value concepts
• Dynamic epistemic logic
• Modal logic
• Simulation and Information: Quantifying over Epistemic Events
• Topological reasoning and the logic of knowledge
• Using hybrid logic for coping with functions in subset spaces
• What one may come to know
• -programs, uniform interpolation and bisimulation quantifiers for modal logics
• `Knowable' as `known after an announcement'

Cited in

(12)

• Unknown truths and unknowable truths
• The defeater version of Benacerraf's problem for a priori knowledge
• Everything is learnable, once it is settled
• The Knowability Paradox in the Light of a Logic for Pragmatics
• To be announced
• A Logic of Knowing How
• Refinement modal logic
• Logics for knowability
• scientific article; zbMATH DE number 6606375 (Why is no real title available?)
• The knower paradox in the light of provability interpretations of modal logic
• `Knowable' as `known after an announcement'
• Hintikka's knowledge and belief in flux

This page was built for publication: An alternative logic for knowability

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