@article(AGM,
 author       = {Carlos Alchourr\'on and Peter G\"ardenfors and David Makinson},
 year         = {1985},
 title        = {On the Logic of Theory Change: Partial Meet Contraction and Revision Functions},
 journal      = {Journal of Symbolic Logic},
 volume       = {50},
 pages        = {510--530},
 doi          = {10.2307/2274239},
)
@article(Ang80,
 author       = {Dana Angluin},
 year         = {1980},
 title        = {Inductive inference of formal languages from positive data},
 journal      = {Information and Control},
 volume       = {45(2)},
 pages        = {117--135},
 doi          = {10.1016/S0019-9958(80)90285-5},
)
@incollection(BGS11,
 author       = {Alexandru Baltag and Nina Gierasimczuk and Sonja Smets},
 year         = {2011},
 title        = {Belief revision as a truth-tracking process},
 editor       = {K. Apt},
 booktitle    = {Proceedings of TARK'11},
 publisher    = {ACM},
 pages        = {187--190},
 doi          = {10.1145/2000378.2000400},
)
@techreport(Baltag:2014ac,
 author       = {Alexandru Baltag and Nina Gierasimczuk and Sonja Smets},
 year         = {2015},
 title        = {Truth Tracking by Belief Revision},
 type         = {Technical Report},
 institution  = {{ILLC Report PP-2014-20}},
 note         = {To appear in Studia Logica.},
)
@inproceedings(BS08,
 author       = {Alexandru Baltag and Sonja Smets},
 year         = {2008},
 title        = {A Qualitative Theory of Dynamic Interactive Belief Revision},
 editor       = {G. Bonanno and W. van der Hoek and M. Wooldridge},
 booktitle    = {Proc. of LOFT'7},
 series       = {Texts in Logic and Games},
 volume       = {3},
 publisher    = {Amsterdam University Press},
 pages        = {9--58},
)
@book(LogicalDynamics,
 author       = {Johan van Benthem},
 year         = {2011},
 title        = {Logical Dynamics of Information and Interaction},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511974533},
)
@article(MergingFrameworks,
 author       = {Johan van Benthem and Jelle Gerbrandy and Tomohiro Hoshi and Eric Pacuit},
 year         = {2009},
 title        = {Merging Frameworks for Interaction},
 journal      = {Journal of Philosophical Logic},
 volume       = {38},
 number       = {5},
 pages        = {491--526},
 doi          = {10.1007/s10992-008-9099-x},
)
@article(Boa04,
 author       = {Oliver Board},
 year         = {2004},
 title        = {Dynamic interactive epistemology},
 journal      = {Games and Economic Behavior},
 volume       = {49},
 number       = {1},
 pages        = {49--80},
 doi          = {10.1016/j.geb.2003.10.006},
)
@article(Yamamoto:2010,
 author       = {Matthew de Brecht and Akihiro Yamamoto},
 year         = {2010},
 title        = {Topological properties of concept spaces},
 journal      = {Information and Computation},
 volume       = {208},
 number       = {4},
 pages        = {327--340},
 doi          = {10.1016/j.ic.2009.08.001},
)
@article(DG11,
 author       = {C{\'e}dric D{\'e}gremont and Nina Gierasimczuk},
 year         = {2011},
 title        = {Finite identification from the viewpoint of epistemic update},
 journal      = {Information and Computation},
 volume       = {209},
 number       = {3},
 pages        = {383--396},
 doi          = {10.1016/j.ic.2010.08.002},
)
@article(Genin14,
 author       = {Konstantin Genin},
 year         = {2015},
 title        = {Linearizing a Countable {TD} Space},
 journal      = {Unpublished manuscript},
)
@inproceedings(Gie08,
 author       = {Nina Gierasimczuk},
 year         = {2009},
 title        = {Identification through Inductive Verification},
 booktitle    = {Proceedings of TBiLLC'07},
 series       = {LNCS},
 volume       = {5422},
 publisher    = {Springer},
 pages        = {193--205},
 doi          = {10.1007/978-3-642-00665-4\_16},
)
@phdthesis(Gie10,
 author       = {Nina Gierasimczuk},
 year         = {2010},
 title        = {Knowing One's Limits. Logical Analysis of Inductive Inference},
 school       = {Universiteit van Amsterdam, The Netherlands},
)
@incollection(Gierasimczuk:2013aa,
 author       = {Nina Gierasimczuk and Vincent F. Hendricks and Dick de Jongh},
 year         = {2014},
 title        = {Logic and Learning},
 editor       = {Alexandru Baltag and Sonja Smets},
 booktitle    = {Johan van Benthem on Logic and Information Dynamics},
 series       = {Outstanding Contributions to Logic},
 volume       = {5},
 publisher    = {Springer International Publishing},
 pages        = {267--288},
 doi          = {10.1007/978-3-319-06025-5\_10},
)
@article(Gierasimczuk:2012aa,
 author       = {Nina Gierasimczuk and {}{{de Jongh}}, Dick},
 year         = {2013},
 title        = {On the Complexity of Conclusive Update},
 journal      = {The Computer Journal},
 volume       = {56},
 number       = {3},
 pages        = {365--377},
 doi          = {10.1093/comjnl/bxs059},
)
@article(Gold:1965aa,
 author       = {E. Mark Gold},
 year         = {1965},
 title        = {Limiting Recursion},
 journal      = {JSL},
 volume       = {30},
 number       = {1},
 pages        = {28--48},
 doi          = {10.2307/2270580},
)
@article(Gold67,
 author       = {E. Mark Gold},
 year         = {1967},
 title        = {Language Identification in the Limit},
 journal      = {Information and Control},
 volume       = {10},
 pages        = {447--474},
 doi          = {10.1016/S0019-9958(67)91165-5},
)
@article(Gro88,
 author       = {Adam Grove},
 year         = {1988},
 title        = {Two modellings for theory change},
 journal      = {Journal of Philosophical Logic},
 volume       = {17},
 pages        = {157--170},
 doi          = {10.1007/BF00247909},
)
@incollection(KSH95,
 author       = {Kevin T. Kelly and Oliver Schulte and Vincent Hendricks},
 year         = {1997},
 title        = {Reliable Belief Revision},
 editor       = {Dalla Chiara, Maria Luisa and Kees Doets and Daniele Mundici and Johan van Benthem},
 booktitle    = {Logic and Scientific Methods},
 series       = {Synthese Library},
 volume       = {259},
 publisher    = {Springer Netherlands},
 pages        = {383--398},
 doi          = {10.1007/978-94-017-0487-8\_20},
)
@book(Kell96,
 author       = {Kevin T. Kelly},
 year         = {1996},
 title        = {The Logic of Reliable Inquiry},
 publisher    = {Oxford University Press},
 address      = {Oxford},
)
@inproceedings(Kel98,
 author       = {Kevin T. Kelly},
 year         = {1998},
 title        = {The Learning Power of Belief Revision},
 booktitle    = {Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge},
 series       = {TARK '98},
 publisher    = {Morgan Kaufmann Publishers Inc.},
 address      = {San Francisco, CA, USA},
 pages        = {111--124},
 url          = {http://dl.acm.org/citation.cfm?id=645876.671884},
)
@incollection(Kel08,
 author       = {Kevin T. Kelly},
 year         = {2008},
 title        = {Ockham's Razor, Truth, and Information},
 editor       = {Pieter Adriaans and Johan van Benthem},
 booktitle    = {Handbook of the Philosophy of Information},
 publisher    = {Elsevier},
 pages        = {321--359},
 doi          = {10.1016/B978-0-444-51726-5.50014-5},
)
@unpublished(Kell11,
 author       = {Kevin T. Kelly},
 year         = {2011},
 title        = {An erotetic theory of empirical simplicity and its connection with truth},
 note         = {Unpublished manuscript},
)
@article(Kel15,
 author       = {Kevin T. Kelly},
 year         = {2015},
 title        = {Notes on a General Topological Paradigm},
 journal      = {Unpublished manuscript},
)
@unpublished(KellHantiSimplicity,
 author       = {Kevin T. Kelly and Hanti Lin},
 year         = {2011},
 title        = {A simple theory of theoretical simplicity},
 note         = {Unpublished manuscript},
)
@article(Kel98a,
 author       = {Kevin T. Kelly},
 year         = {1999},
 title        = {Iterated Belief Revision, Reliability, and Inductive Amnesia},
 journal      = {Erkenntnis},
 volume       = {50},
 number       = {1},
 pages        = {7--53},
 doi          = {10.1023/A:1005444112348},
)
@book(Lewis:1969aa,
 author       = {David Lewis},
 year         = {1969},
 title        = {Convention},
 publisher    = {Cambridge: Harvard University Press},
)
@article(MO97,
 author       = {Eric Martin and Daniel Osherson},
 year         = {1997},
 title        = {Scientific Discovery Based on Belief Revision},
 journal      = {Journal of Symbolic Logic},
 volume       = {62},
 number       = {4},
 pages        = {1352--1370},
 doi          = {10.2307/2275647},
)
@article(Put65,
 author       = {Hilary Putnam},
 year         = {1965},
 title        = {Trial and Error Predicates and the Solution to a Problem of {M}ostowski},
 journal      = {Journal of Symbolic Logic},
 volume       = {30},
 number       = {1},
 pages        = {49--57},
 doi          = {10.2307/2270581},
)
@article(Schulte:1996aa,
 author       = {Olivier Schulte and Cory Juhl},
 year         = {1996},
 title        = {Topology as Epistemology},
 journal      = {Monist},
 volume       = {79},
 number       = {1},
 pages        = {141--147},
 doi          = {10.5840/monist19967916},
)
@article(Sol64ab,
 author       = {Ray J. Solomonoff},
 year         = {1964},
 title        = {A formal theory of inductive inference},
 journal      = {Information and Control},
 volume       = {Part I, 7(1):1--22, 1964. Part II, 7(2):224--254, 1964},
 doi          = {10.1016/S0019-9958(64)90223-2},
)
@book(Steven-Vickers:1996aa,
 author       = {Steven Vickers},
 year         = {1996},
 title        = {Topology Via Logic},
 publisher    = {Cambridge University Press},
)