References

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