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