Sergei N. Artemov
2008
The Logic of Justification
The Review of Symbolic Logic
1
4
477–513
10.1017/S1755020308090060
Sergei N. Artemov
Elena Nogina
2005
Introducing Justification into Epistemic Logic
Journal of Logic and Computation
15
6
1059–1073
10.1093/logcom/exi053
Alexandru Baltag
Nick Bezhanishvili
Aybüke Özgün
Sonja Smets
2013
The Topology of Belief, Belief Revision and Defeasible Knowledge
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
27–40
10.1007/978-3-642-40948-6_3
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
https://www.illc.uva.nl/Research/Publications/Reports/PP-2015-18.text.pdf
Alexandru Baltag
Nick Bezhanishvili
Aybüke Özgün
Sonja Smets
2016
Justified Belief and the Topology of Evidence
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
83–103
10.1007/978-3-662-52921-8_6
Alexandru Baltag
Virginie Fiutek
Sonja Smets
2016
Beliefs and Evidence in Justification Models
S. Demri L. Beklemishev
A. Mate
Proceedings of Advances in Modal Logic
College Publications
Oxford, UK
156–176
http://www.aiml.net/volumes/volume11/Baltag-Fiutek-Smets.pdf
Alexandru Baltag
Bryan Renne
Sonja Smets
2012
The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge
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
168–190
10.1007/978-3-642-32621-9_13
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)
49–81
10.1016/j.apal.2013.07.005
Alexandru Baltag
Sonja Smets
2008
Probabilistic dynamic belief revision
Synthese
165
2
179
10.1007/s11229-008-9369-8
Alexandru Baltag
Sonja Smets
2008
A qualitative theory of dynamic interactive belief revision
Texts in logic and games
3
9–58
http://www.vub.ac.be/CLWF/SS/chapter.pdf
Johan van Benthem
David Fernández Duque
Eric Pacuit
2014
Evidence and plausibility in neighborhood structures
Ann. Pure Appl. Logic
165
1
106–133
10.1016/j.apal.2013.07.007
Johan van Benthem
Eric Pacuit
2011
Dynamic Logics of Evidence-Based Beliefs
Studia Logica
99
1-3
61–92
10.1007/s11225-011-9347-x
Oliver Board
2004
Dynamic interactive epistemology
Games and Economic Behaviour
49
1
49–80
10.1016/j.geb.2003.10.006
Martin W. A. Caminada
Dov M. Gabbay
2009
A Logical Account of Formal Argumentation
Studia Logica
93
2-3
109
10.1007/s11225-009-9218-x
Brian F. Chellas
1980
Modal Logic: An Introduction
Cambridge University Press
Cambridge Eng. ; New York
10.1017/CBO9780511621192
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
730–753
10.1016/j.artint.2007.04.012
Jon Doyle
1979
A Truth Maintenance System
Artificial Intelligence
12
3
231–272
10.1016/0004-3702(79)90008-0
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
321–357
10.1016/0004-3702(94)00041-X
Ulle Endriss
Umberto Grandi
2017
Graph Aggregation
Artificial Intelligence
245
86–114
10.1016/j.artint.2017.01.001
Richard Foley
2009
Beliefs, Degrees of Belief, and the Lockean Thesis
Franz Huber
Christoph Schmidt-Petri
Degrees of Belief
Synthese Library
342
Springer Netherlands
37–47
10.1007/978-1-4020-9198-8_2
Davide Grossi
2013
Abstract argument games via modal logic
Synthese
190
5–29
10.1007/s11229-012-0237-1
Davide Grossi
Wiebe van der Hoek
2014
Justified Beliefs by Justified Arguments
Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning
AAAI Press
131–140
http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7997
Jaakko Hintikka
1962
Knowledge and Belief
Cornell University Press
Kevin T. Kelly
1996
The logic of reliable inquiry
Oxford University Press
Thomas Kelly
2016
Evidence
Edward N. Zalta
The Stanford Encyclopedia of Philosophy
winter 2016
Metaphysics Research Lab, Stanford University
https://plato.stanford.edu/archives/win2016/entries/evidence/
Johan de Kleer
1986
An Assumption-Based TMS
Artificial Intelligence
28
2
127–162
10.1016/0004-3702(86)90080-9
Dominik Klein
Norbert Gratzl
Olivier Roy
2015
Introspection, Normality and Agglomeration
Logic, Rationality, and Interaction
Springer, Berlin, Heidelberg
195–206
10.1007/978-3-662-48561-3_16
Keith Lehrer
1990
Theory of Knowledge
1st
Routledge
Wolfgang Lenzen
1980
Glauben, Wissen und Wahrscheinlichkeit: Systeme der epistemischen Logik
Springer
10.1007/978-3-7091-8594-0
Google-Books-ID: 6mwIAQAAIAAJ
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.
10.1017/CBO9780511569852
Richard Montague
1970
Universal Grammar
Theoria
36
3
373–398
10.1111/j.1755-2567.1970.tb00434.x
George Pappas
2014
Internalist vs. Externalist Conceptions of Epistemic Justification
Edward N. Zalta
The Stanford Encyclopedia of Philosophy
fall 2014
Metaphysics Research Lab, Stanford University
https://plato.stanford.edu/archives/fall2014/entries/justep-intext/
François Schwarzentruber
Srdjan Vesic
Tjitze Rienstra
2012
Building an Epistemic Logic for Argumentation
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
359–371
10.1007/978-3-642-33353-8_28
Dana Scott
1970
Advice on modal logic
Karel Lambert
Philosophical Problems in Logic
Reidel
Dordrecht, The Netherlands
143–173
10.1007/978-94-010-3272-8_7
Wolfgang Spohn
1988
Ordinal conditional functions: A dynamic theory of epistemic states
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
105–134
10.1007/978-94-009-2865-7_6
Jan van Eijck
Bryan Renne
2014
Belief as Willingness to Bet
arXiv:1412.5090 [cs]
https://arxiv.org/abs/1412.5090
Steven Vickers
1989
Topology via Logic
Cambridge University Press
Cambridge, UK