@article(Artemov08,
 author       = {Sergei~N. Artemov},
 year         = {2008},
 title        = {The Logic of Justification},
 journal      = {The Review of Symbolic Logic},
 volume       = {1},
 number       = {4},
 pages        = {477--513},
 doi          = {10.1017/S1755020308090060},
)
@article(ArtemovN05,
 author       = {Sergei~N. Artemov and Elena Nogina},
 year         = {2005},
 title        = {Introducing Justification into Epistemic Logic},
 journal      = {Journal of Logic and Computation},
 volume       = {15},
 number       = {6},
 pages        = {1059--1073},
 doi          = {10.1093/logcom/exi053},
)
@inproceedings(Baltag2013,
 author       = {Alexandru Baltag and Nick Bezhanishvili and Ayb{\"u}ke {\"O}zg{\"u}n and Sonja Smets},
 year         = {2013},
 title        = {The Topology of Belief, Belief Revision and Defeasible Knowledge},
 editor       = {Davide Grossi and Olivier Roy and Huaxin Huang},
 booktitle    = {Logic, Rationality, and Interaction: 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {27--40},
 doi          = {10.1007/978-3-642-40948-6_3},
)
@techreport(Baltag2015report,
 author       = {Alexandru Baltag and Nick Bezhanishvili and Ayb{\"u}ke {\"O}zg{\"u}n and Sonja Smets},
 year         = {2015},
 title        = {The topological theory of belief},
 type         = {Technical Report},
 number       = {PP-2015-18},
 institution  = {ILLC, University of Amsterdam},
 url          = {https://www.illc.uva.nl/Research/Publications/Reports/PP-2015-18.text.pdf},
)
@incollection(Baltag2016,
 author       = {Alexandru Baltag and Nick Bezhanishvili and Ayb{\"u}ke {\"O}zg{\"u}n and Sonja Smets},
 year         = {2016},
 title        = {Justified Belief and the Topology of Evidence},
 editor       = {Jouko V{\"a}{\"a}n{\"a}nen and {\r A}sa Hirvonen and Ruy de~Queiroz},
 booktitle    = {Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {83--103},
 doi          = {10.1007/978-3-662-52921-8_6},
)
@inproceedings(BFS2016,
 author       = {Alexandru Baltag and Virginie Fiutek and Sonja Smets},
 year         = {2016},
 title        = {Beliefs and Evidence in Justification Models},
 editor       = {L.~Beklemishev, S.~Demri and A.~Mate},
 booktitle    = {Proceedings of Advances in Modal Logic},
 publisher    = {College Publications},
 address      = {Oxford, UK},
 pages        = {156--176},
 url          = {http://www.aiml.net/volumes/volume11/Baltag-Fiutek-Smets.pdf},
)
@inproceedings(BRS2,
 author       = {Alexandru Baltag and Bryan Renne and Sonja Smets},
 year         = {2012},
 title        = {The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge},
 editor       = {C.{-}H.~Luke Ong and Ruy J. G.~B. de~Queiroz},
 booktitle    = {Logic, Language, Information and Computation - 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {7456},
 publisher    = {Springer},
 pages        = {168--190},
 doi          = {10.1007/978-3-642-32621-9_13},
)
@article(BRS1,
 author       = {Alexandru Baltag and Bryan Renne and Sonja Smets},
 year         = {2014},
 title        = {The Logic of Justified Belief, Explicit Knowledge and Conclusive Evidence.},
 journal      = {Annals of Pure and Applied Logic},
 volume       = {165(1)},
 pages        = {49--81},
 doi          = {10.1016/j.apal.2013.07.005},
)
@article(Baltag2008,
 author       = {Alexandru Baltag and Sonja Smets},
 year         = {2008},
 title        = {Probabilistic dynamic belief revision},
 journal      = {Synthese},
 volume       = {165},
 number       = {2},
 pages        = {179},
 doi          = {10.1007/s11229-008-9369-8},
)
@article(AS2008,
 author       = {Alexandru Baltag and Sonja Smets},
 year         = {2008},
 title        = {A qualitative theory of dynamic interactive belief revision},
 journal      = {Texts in logic and games},
 volume       = {3},
 pages        = {9--58},
 url          = {http://www.vub.ac.be/CLWF/SS/chapter.pdf},
)
@article(BenthemFP14,
 author       = {Johan van Benthem and David~Fern{\'{a}}ndez Duque and Eric Pacuit},
 year         = {2014},
 title        = {Evidence and plausibility in neighborhood structures},
 journal      = {Ann. Pure Appl. Logic},
 volume       = {165},
 number       = {1},
 pages        = {106--133},
 doi          = {10.1016/j.apal.2013.07.007},
)
@article(BenthemP11,
 author       = {Johan van Benthem and Eric Pacuit},
 year         = {2011},
 title        = {Dynamic Logics of Evidence-Based Beliefs},
 journal      = {Studia Logica},
 volume       = {99},
 number       = {1-3},
 pages        = {61--92},
 doi          = {10.1007/s11225-011-9347-x},
)
@article(Board2002,
 author       = {Oliver Board},
 year         = {2004},
 title        = {Dynamic interactive epistemology},
 journal      = {Games and Economic Behaviour},
 volume       = {49},
 number       = {1},
 pages        = {49--80},
 doi          = {10.1016/j.geb.2003.10.006},
)
@article(caminada:logical:2009,
 author       = {Martin W.~A. Caminada and Dov~M. Gabbay},
 year         = {2009},
 title        = {A {{Logical Account}} of {{Formal Argumentation}}},
 journal      = {Studia Logica},
 volume       = {93},
 number       = {2-3},
 pages        = {109},
 doi          = {10.1007/s11225-009-9218-x},
)
@book(chellas:modal:1980,
 author       = {Brian~F. Chellas},
 year         = {1980},
 title        = {Modal {{Logic}}: {{An Introduction}}},
 publisher    = {{Cambridge University Press}},
 address      = {Cambridge Eng. ; New York},
 doi          = {10.1017/CBO9780511621192},
)
@article(coste-marquis:merging:2007,
 author       = {Coste-Marquis, Sylvie and Caroline Devred and S{\'e}bastien Konieczny and Lagasquie-Schiex, Marie-Christine and Pierre Marquis},
 year         = {2007},
 title        = {On the Merging of {{Dung}}'s Argumentation Systems},
 journal      = {Artificial Intelligence},
 volume       = {171},
 number       = {10},
 pages        = {730--753},
 doi          = {10.1016/j.artint.2007.04.012},
)
@article(doyle:truth:1979,
 author       = {Jon Doyle},
 year         = {1979},
 title        = {A Truth Maintenance System},
 journal      = {Artificial Intelligence},
 volume       = {12},
 number       = {3},
 pages        = {231--272},
 doi          = {10.1016/0004-3702(79)90008-0},
)
@article(dung1995,
 author       = {Phan~Minh Dung},
 year         = {1995},
 title        = {On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games},
 journal      = {Artificial intelligence},
 volume       = {77},
 pages        = {321--357},
 doi          = {10.1016/0004-3702(94)00041-X},
)
@article(EndrissGrandiAIJ2017,
 author       = {Ulle Endriss and Umberto Grandi},
 year         = {2017},
 title        = {Graph Aggregation},
 journal      = {Artificial Intelligence},
 volume       = {245},
 pages        = {86--114},
 doi          = {10.1016/j.artint.2017.01.001},
)
@incollection(foley:beliefs:2009,
 author       = {Richard Foley},
 year         = {2009},
 title        = {Beliefs, {{Degrees}} of {{Belief}}, and the {{Lockean Thesis}}},
 editor       = {Franz Huber and Schmidt-Petri, Christoph},
 booktitle    = {Degrees of {{Belief}}},
 series       = {Synthese Library},
 volume       = {342},
 publisher    = {{Springer Netherlands}},
 pages        = {37--47},
 doi          = {10.1007/978-1-4020-9198-8_2},
)
@article(grossi2013,
 author       = {Davide Grossi},
 year         = {2013},
 title        = {Abstract argument games via modal logic},
 journal      = {Synthese},
 volume       = {190},
 pages        = {5--29},
 doi          = {10.1007/s11229-012-0237-1},
)
@inproceedings(grossi2014,
 author       = {Davide Grossi and Wiebe van~der Hoek},
 year         = {2014},
 title        = {Justified Beliefs by Justified Arguments},
 booktitle    = {Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning},
 publisher    = {AAAI Press},
 pages        = {131--140},
 url          = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7997},
)
@book(hintikka1962,
 author       = {Jaakko Hintikka},
 year         = {1962},
 title        = {Knowledge and Belief},
 publisher    = {Cornell University Press},
)
@book(Kelly1996,
 author       = {Kevin~T. Kelly},
 year         = {1996},
 title        = {The logic of reliable inquiry},
 publisher    = {Oxford University Press},
)
@incollection(sep-evidence,
 author       = {Thomas Kelly},
 year         = {2016},
 title        = {Evidence},
 editor       = {Edward~N. Zalta},
 booktitle    = {The Stanford Encyclopedia of Philosophy},
 edition      = {winter 2016},
 publisher    = {Metaphysics Research Lab, Stanford University},
 url          = {https://plato.stanford.edu/archives/win2016/entries/evidence/},
)
@article(Kleer86,
 author       = {Johan de~Kleer},
 year         = {1986},
 title        = {An Assumption-Based {TMS}},
 journal      = {Artificial Intelligence},
 volume       = {28},
 number       = {2},
 pages        = {127--162},
 doi          = {10.1016/0004-3702(86)90080-9},
)
@inproceedings(klein:introspection:2015,
 author       = {Dominik Klein and Norbert Gratzl and Olivier Roy},
 year         = {2015},
 title        = {Introspection, {{Normality}} and {{Agglomeration}}},
 booktitle    = {Logic, {{Rationality}}, and {{Interaction}}},
 publisher    = {{Springer, Berlin, Heidelberg}},
 pages        = {195--206},
 doi          = {10.1007/978-3-662-48561-3_16},
)
@book(lehrerTheory1990,
 author       = {Keith Lehrer},
 year         = {1990},
 title        = {Theory of {{Knowledge}}},
 edition      = {1st},
 publisher    = {{Routledge}},
)
@book(lenzen:glauben:1980,
 author       = {Wolfgang Lenzen},
 year         = {1980},
 title        = {{Glauben, Wissen und Wahrscheinlichkeit: Systeme der epistemischen Logik}},
 publisher    = {{Springer}},
 doi          = {10.1007/978-3-7091-8594-0},
 note         = {Google-Books-ID: 6mwIAQAAIAAJ},
)
@book(MeyeretAl,
 author       = {John-Jules~Ch. Meyer and Wiebe van Der~Hoek},
 year         = {1995},
 title        = {Epistemic Logic for {AI} and Computer Science},
 publisher    = {Cambridge University Press},
 address      = {New York, N.Y., U.S.A.},
 doi          = {10.1017/CBO9780511569852},
)
@article(Montague1970,
 author       = {Richard Montague},
 year         = {1970},
 title        = {Universal Grammar},
 journal      = {Theoria},
 volume       = {36},
 number       = {3},
 pages        = {373--398},
 doi          = {10.1111/j.1755-2567.1970.tb00434.x},
)
@incollection(sep-justep-intext,
 author       = {George Pappas},
 year         = {2014},
 title        = {Internalist vs. Externalist Conceptions of Epistemic Justification},
 editor       = {Edward~N. Zalta},
 booktitle    = {The Stanford Encyclopedia of Philosophy},
 edition      = {fall 2014},
 publisher    = {Metaphysics Research Lab, Stanford University},
 url          = {https://plato.stanford.edu/archives/fall2014/entries/justep-intext/},
)
@inproceedings(schw2012,
 author       = {Fran{\c{c}}ois Schwarzentruber and Srdjan Vesic and Tjitze Rienstra},
 year         = {2012},
 title        = {Building an Epistemic Logic for Argumentation},
 editor       = {Luis~Fari{\~{n}}as del Cerro and Andreas Herzig and J{\'{e}}r{\^{o}}me Mengin},
 booktitle    = {Logics in Artificial Intelligence - 13th European Conference, {JELIA} 2012, Toulouse, France, September 26-28, 2012. Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {7519},
 publisher    = {Springer},
 pages        = {359--371},
 doi          = {10.1007/978-3-642-33353-8_28},
)
@incollection(Scott1970,
 author       = {Dana Scott},
 year         = {1970},
 title        = {Advice on modal logic},
 editor       = {Karel Lambert},
 booktitle    = {Philosophical Problems in Logic},
 publisher    = {Reidel},
 address      = {Dordrecht, The Netherlands},
 pages        = {143--173},
 doi          = {10.1007/978-94-010-3272-8\_7},
)
@incollection(Spohn1988,
 author       = {Wolfgang Spohn},
 year         = {1988},
 title        = {Ordinal conditional functions: A dynamic theory of epistemic states},
 editor       = {William~Leonard Harper and Brian Skyrms},
 booktitle    = {Causation in decision, belief change, and statistics: Proceedings of the Irvine Conference on Probability and Causation},
 series       = {The Western Ontario Series in Philosophy of Science},
 volume       = {42},
 publisher    = {Kluwer},
 address      = {Dordrecht},
 pages        = {105--134},
 doi          = {10.1007/978-94-009-2865-7_6},
)
@article(van:eijck:belief:2014,
 author       = {{van Eijck}, Jan and Bryan Renne},
 year         = {2014},
 title        = {Belief as {{Willingness}} to {{Bet}}},
 journal      = {arXiv:1412.5090 [cs]},
 url          = {https://arxiv.org/abs/1412.5090},
)
@book(Vickers1989,
 author       = {Steven Vickers},
 year         = {1989},
 title        = {Topology via Logic},
 publisher    = {Cambridge University Press},
 address      = {Cambridge, UK},
)