An Alternative Logic for Knowability

We give an alternative logic for knowability to arbitrary public announcement logic. In the new semantics, 'knowable' means 'known after an information update' rather than the more specific interpretation of 'known after an announcement'. An update is modelled by the refining of accessibility relations. We compare our logic to arbitrary announcement logic and subset space logic and thus establish a link between the latter two.

[1]  Johan van Benthem,et al.  What one may come to know , 2004 .

[2]  W. van der Hoek,et al.  Epistemic logic for AI and computer science , 1995, Cambridge tracts in theoretical computer science.

[3]  Andreas Herzig,et al.  ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’ , 2008, The Review of Symbolic Logic.

[4]  Lawrence S. Moss,et al.  Topological Reasoning and the Logic of Knowledge , 1996, Ann. Pure Appl. Log..

[5]  M. de Rijke,et al.  Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.

[6]  Berit Brogaard,et al.  Fitch's Paradox of Knowability , 2002 .

[7]  Nuno David,et al.  Advances in Artificial Intelligence - IBERAMIA 2008, 11th Ibero-American Conference on AI, Lisbon, Portugal, October 14-17, 2008. Proceedings , 2008, IBERAMIA.

[8]  Bernhard Heinemann,et al.  Topology and Knowledge of Multiple Agents , 2008, IBERAMIA.

[9]  W. Hoek,et al.  Dynamic Epistemic Logic , 2007 .

[10]  Lawrence S. Moss,et al.  Topological reasoning and the logic of knowledge: preliminary report , 1992 .

[11]  John-Jules Ch. Meyer,et al.  Knowledge Representation for Agents and Multi-Agent Systems , 2009 .

[12]  Andreas Herzig,et al.  What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability , 2007, TARK '07.

[13]  Can Baskent,et al.  Topics in Subset Space Logic , 2010 .

[14]  Tim French,et al.  Bisimulation quantifiers for modal logics , 2006 .

[15]  Lawrence S. Moss,et al.  Topology and Epistemic Logic , 2007, Handbook of Spatial Logics.

[16]  Bernhard Heinemann.  Refining the Notion of Effort , 2010, ECAI.

[17]  Tim French,et al.  Simulation and Information: Quantifying over Epistemic Events , 2009, KRAMAS.

[18]  Johan van Benthem,et al.  Handbook of Spatial Logics , 2007 .

[19]  Bernhard Heinemann,et al.  Using Hybrid Logic for Coping with Functions in Subset Spaces , 2010, Stud Logica.

[20]  Wiebe van der Hoek,et al.  Dynamic Epistemic Logic and Knowledge Puzzles , 2007, ICCS.

[21]  Frederic Brenton Fitch,et al.  A logical analysis of some value concepts , 1963, Journal of Symbolic Logic.