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
510–530
10.2307/2274239
Dana Angluin
1980
Inductive inference of formal languages from positive data
Information and Control
45(2)
117–135
10.1016/S0019-9958(80)90285-5
Alexandru Baltag
Nina Gierasimczuk
Sonja Smets
2011
Belief revision as a truth-tracking process
K. Apt
Proceedings of TARK'11
ACM
187–190
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
G. Bonanno
W. van der Hoek
M. Wooldridge
Proc. of LOFT'7
Texts in Logic and Games
3
Amsterdam University Press
9–58
Johan van Benthem
2011
Logical Dynamics of Information and Interaction
Cambridge University Press
10.1017/CBO9780511974533
Johan van Benthem
Jelle Gerbrandy
Tomohiro Hoshi
Eric Pacuit
2009
Merging Frameworks for Interaction
Journal of Philosophical Logic
38
5
491–526
10.1007/s10992-008-9099-x
Oliver Board
2004
Dynamic interactive epistemology
Games and Economic Behavior
49
1
49–80
10.1016/j.geb.2003.10.006
Matthew de Brecht
Akihiro Yamamoto
2010
Topological properties of concept spaces
Information and Computation
208
4
327–340
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
383–396
10.1016/j.ic.2010.08.002
Konstantin Genin
2015
Linearizing a Countable TD Space
Unpublished manuscript
Nina Gierasimczuk
2009
Identification through Inductive Verification
Proceedings of TBiLLC'07
LNCS
5422
Springer
193–205
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
Alexandru Baltag
Sonja Smets
Johan van Benthem on Logic and Information Dynamics
Outstanding Contributions to Logic
5
Springer International Publishing
267–288
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
365–377
10.1093/comjnl/bxs059
E. Mark Gold
1965
Limiting Recursion
JSL
30
1
28–48
10.2307/2270580
E. Mark Gold
1967
Language Identification in the Limit
Information and Control
10
447–474
10.1016/S0019-9958(67)91165-5
Adam Grove
1988
Two modellings for theory change
Journal of Philosophical Logic
17
157–170
10.1007/BF00247909
Kevin T. Kelly
Oliver Schulte
Vincent Hendricks
1997
Reliable Belief Revision
Maria Luisa Dalla Chiara
Kees Doets
Daniele Mundici
Johan van Benthem
Logic and Scientific Methods
Synthese Library
259
Springer Netherlands
383–398
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
Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge
TARK '98
Morgan Kaufmann Publishers Inc.
San Francisco, CA, USA
111–124
http://dl.acm.org/citation.cfm?id=645876.671884
Kevin T. Kelly
2008
Ockham's Razor, Truth, and Information
Pieter Adriaans
Johan van Benthem
Handbook of the Philosophy of Information
Elsevier
321–359
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
7–53
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
1352–1370
10.2307/2275647
Hilary Putnam
1965
Trial and Error Predicates and the Solution to a Problem of Mostowski
Journal of Symbolic Logic
30
1
49–57
10.2307/2270581
Olivier Schulte
Cory Juhl
1996
Topology as Epistemology
Monist
79
1
141–147
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
10.1016/S0019-9958(64)90223-2
Steven Vickers
1996
Topology Via Logic
Cambridge University Press