doi:10.1111/j.1755-2567.2011.01119.x Everything is Knowable – How to Get to Know Whether a Proposition is Truetheo_1119 1..22 (2012)

by Hans Van Ditmarsch , Wiebe Van , Der Hoek
Citations:2 - 1 self

Documents Related by Co-Citation

146 Logics of public communications – J A Plaza - 1989
237 The logic of public announcements, common knowledge, and private suspicions – Alexandru Baltag, Lawrence S. Moss, Slawomir Solecki - 1999
2 The modal logic of pure provability, Notre Dame – S Buss - 1990
5 What One May Come to Know, Analysis 64 – J van Benthem - 2004
2 Modal Logic with Subjunctive Conditionals and Dispositional Predicates – L Aqvist - 1973
6 Inquisitive Semantics and Intermediate Logics – I A Ciardelli
1 Two Logical Faces of Belief Revision – J van Benthem - 2011
1 Validity and Necessity – R Ballarin
1 Which Modal Models are the Right Ones (for Logical Necessity)?, Theoria 18 – J P Burgess - 2003
1 Schematic Validity in Dynamic Epistemic Logic: Decidability – W H Holliday, T Hoshi, T F Icard - 2011
1 Mathematics of Public Announcements – M Ma - 2011
1 On Axiomatizations of Public Announcement Logic, manuscript – Y Wang, Q Cao
10 Open problems in logical dynamics – J van Benthem - 2005
2 On axiomatizations of PAL – Yanjing Wang - 2011
28 An axiomatization of full Computational Tree Logic – M Reynolds - 2001
7 Knowable’ as ‘known after an announcement’. The Review of Symbolic Logic – P Balbiani, A Baltag, H Van Ditmarsch, A Herzig, T Hoshi, T de Lima - 2008
6 Inquisitive semantics and logic – S Mascarenhas - 2008
5 Should Knowledge Entail Belief? – Joseph Halpern
30 Expressivity and completeness for public update logic via reduction axioms – Barteld Kooi