References

1. Sergei Artemov (2018): Justification Awareness Models. In: Sergei Artemov & Anil Nerode: Logical Foundations of Computer Science, LNCS 10703. Springer, pp. 22–36, doi:10.1007/978-3-319-72056-2_2.
2. Sergei Artemov & Melvin Fitting (2016): Justification Logic. In: Edward N. Zalta: The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University.
3. Sergei Artemov & Elena Nogina (2005): Introducing justification into epistemic logic. Journal of Logic and Computation 15(6), pp. 1059–1073, doi:10.1093/logcom/exi053.
4. Sergei N Artemov (2012): The ontology of justifications in the logical setting. Studia Logica 100(1-2), pp. 17–30, doi:10.1007/s11225-012-9387-x.
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, LNCS 9803. Springer, pp. 83–103, doi:10.1007/978-3-662-52921-8_6.
6. Alexandru Baltag, Bryan Renne & Sonja Smets (2012): The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge. In: Luke Ong & Ruy de Queiroz: Logic, Language, Information and Computation. WoLLIC 2012., LNCS 7456. Springer, pp. 168–190, doi:10.1007/978-3-642-32621-9_13.
7. Alexandru Baltag & Sonja Smets (2008): A qualitative theory of dynamic interactive belief revision. In: Wiebe van der Hoek, Giacomo Bonanno & Michael Wooldridge: Logic and the foundations of game and decision theory (LOFT 7), Texts in Logic and Games 3. Amsterdam University Press, pp. 9–58.
8. Pietro Baroni, Martin Caminada & Massimiliano Giacomin (2018): Abstract argumentation frameworks and their semantics. In: Pietro Baroni, Dov M. Gabbay, Massimilino Giacomin & Leendert van der Torre: Handbook of formal argumentation. College Publications, pp. 159–236.
9. Mathieu Beirlaen, Jesse Heyninck, Pere Pardo & Christian Straßer (2018): Argument strength in formal argumentation. IfCoLog Journal of Logics and their Applications 5(3), pp. 629–675.
10. Trevor JM Bench-Capon & Paul E Dunne (2007): Argumentation in artificial intelligence. Artificial intelligence 171(10-15), pp. 619–641, doi:10.1016/j.artint.2007.05.001.
11. Johan van Benthem, David Fernández-Duque & Eric Pacuit (2014): Evidence and plausibility in neighborhood structures. Annals of Pure and Applied Logic 165(1), pp. 106–133, doi:10.1016/j.apal.2013.07.007.
12. Johan van Benthem, David Fernández-Duque & Eric Pacuit (2012): Evidence Logic: A New Look at Neighborhood Structures. Advances in modal logic 9, pp. 97–118.
13. Johan van Benthem & Fernando R Velázquez-Quesada (2010): The dynamics of awareness. Synthese 177(1), pp. 5–27, doi:10.1007/s11229-010-9764-9.
14. Patrick Blackburn, Maarten De Rijke & Yde Venema (2010): Modal Logic. Cambridge University Press, doi:10.1017/CBO9781107050884.
15. Alfredo Burrieza & Antonio Yuste-Ginel (2020): Basic beliefs and argument-based beliefs in awareness epistemic logic with structured arguments. In: H. Prakken, S. Bistarelli, F. Santini & C. Taticchi: Proceedings of the COMMA 2020. IOS Press, pp. 123–134, doi:10.3233/FAIA200498.
16. Martin Caminada & Leila Amgoud (2007): On the evaluation of argumentation formalisms. Artificial Intelligence 171(5-6), pp. 286–310, doi:10.1016/j.artint.2007.02.003.
17. Hans van Ditmarsch, Wiebe van der Hoek & Barteld Kooi (2007): Dynamic epistemic logic. Springer, doi:10.1007/978-1-4020-5839-4.
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(2), pp. 321–357, doi:10.1016/0004-3702(94)00041-X.
19. Frans H. van Eemeren, Bart Garssen, Erik C. W. Krabbe, A. Francisca Snoeck Henkemans, Bart Verheij & Jean H. M. Wagemans (2014): Handbook of Argumentation Theory. Springer, doi:10.1007/978-90-481-9473-5.
20. Ronald Fagin & Joseph Y Halpern (1987): Belief, awareness, and limited reasoning. Artificial intelligence 34(1), pp. 39–76, doi:10.1016/0004-3702(87)90003-8.
21. Ronald Fagin, Joseph Y Halpern, Yoram Moses & Moshe Vardi (2004): Reasoning about knowledge. MIT press, doi:10.7551/mitpress/5803.001.0001.
22. Konstantin Genin & Franz Huber (2021): Formal Representations of Belief. In: Edward N. Zalta: The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University.
23. Davide Grossi & Wiebe van der Hoek (2014): Justified Beliefs by Justified Arguments. In: Chitta Baral, Giuseppe De Giacomo & Thomas Eiter: Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference. AAAI Press, pp. 131–140, doi:10.5555/3031929.3031947.
24. Davide Grossi & Fernando R. Velázquez-Quesada (2009): Twelve Angry Men: A Study on the Fine-Grain of Announcements. In: Xiangdong He, John Horty & Eric Pacuit: Logic, Rationality, and Interaction. Springer, pp. 147–160, doi:10.1007/978-3-642-04893-7_12.
25. Davide Grossi & Fernando R Velázquez-Quesada (2015): Syntactic awareness in logical dynamics. Synthese 192(12), pp. 4071–4105, doi:10.1007/s11229-015-0733-1.
26. Ali Hasan & Richard Fumerton (2018): Foundationalist Theories of Epistemic Justification. In: Edward N. Zalta: The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University.
27. Barteld Kooi (2007): Expressivity and completeness for public update logics via reduction axioms. Journal of Applied Non-Classical Logics 17(2), pp. 231–253, doi:10.3166/jancl.17.231-253.
28. Xu Li & Yì N. Wáng (2020): A Logic of Knowledge and Belief Based on Abstract Arguments. In: Mehdi Dastani, Huimin Dong & Leon van der Torre: Logic and Argumentation. Springer, pp. 116–130, doi:10.1007/978-3-030-44638-3_8.
29. Hugo Mercier & Dan Sperber (2011): Why do humans reason? Arguments for an argumentative theory.. Behavioral and brain sciences 34(2), pp. 57–74, doi:10.1017/S0140525X10000968.
30. Sanjay Modgil & Henry Prakken (2013): A general account of argumentation with preferences. Artificial Intelligence 195, pp. 361–397, doi:10.1016/j.artint.2012.10.008.
31. Sanjay Modgil & Henry Prakken (2018): Abstract rule-based argumentation. In: Pietro Baroni, Dov M. Gabbay, Massimilino Giacomin & Leendert van der Torre: Handbook of formal argumentation. College Publications, pp. 287–364.
32. Sanjay Modgil, Francesca Toni, Floris Bex, Ivan Bratko, Carlos I. Chesñevar, Wolfgang Dvořák, Marcelo A. Falappa, Xiuyi Fan, Sarah Alice Gaggl, Alejandro J. García, María P. González, Thomas F. Gordon, João Leite, Martin Možina, Chris Reed, Guillermo R. Simari, Stefan Szeider, Paolo Torroni & Stefan Woltran (2013): The Added Value of Argumentation, pp. 357–403. Springer, doi:10.1007/978-94-007-5583-3_21.
33. Carlo Proietti & Antonio Yuste-Ginel (2021): Dynamic epistemic logics for abstract argumentation. Synthese, doi:10.1007/s11229-021-03178-5.
34. Chiaki Sakama & Tran Cao Son (2020): Epistemic Argumentation Framework: Theory and Computation. Journal of Artificial Intelligence Research 69, pp. 1103–1126, doi:10.1613/jair.1.12121.
35. 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, LNCS 7519. Springer, pp. 359–371, doi:10.1007/978-3-642-33353-8_28.
36. Chenwei Shi, Sonja Smets & Fernando R Velázquez-Quesada (2017): Argument-based belief in topological structures. In: J Lang: Proceedings TARK 2017. EPTCS. Open Publishing Association, doi:10.4204/EPTCS.251.36.
37. Dan Sperber (1997): Intuitive and reflective beliefs. Mind & Language 12(1), pp. 67–83, doi:10.1111/j.1468-0017.1997.tb00062.x.
38. Stephen E Toulmin ([1958] 2003): The uses of argument. Cambridge university press, doi:10.1017/CBO9780511840005.
39. Fernando R Velázquez-Quesada (2014): Dynamic epistemic logic for implicit and explicit beliefs. Journal of Logic, Language and Information 23(2), pp. 107–140, doi:10.1007/s10849-014-9193-0.
40. Yanjing Wang & Qinxiang Cao (2013): On axiomatizations of public announcement logic. Synthese 190(1), pp. 103–134, doi:10.1007/s11229-012-0233-5.
41. Zhe Yu, Kang Xu & Beishui Liao (2018): Structured argumentation: Restricted rebut vs. unrestricted rebut. Studies in Logic 11(3), pp. 3–17.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org