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