Justified Belief and the Topology of Evidence

@inproceedings{Baltag2016JustifiedBA,
  title={Justified Belief and the Topology of Evidence},
  author={Alexandru Baltag and Nick Bezhanishvili and Ayb{\"u}ke {\"O}zg{\"u}n and Sonja Smets},
  booktitle={WoLLIC},
  year={2016}
}
We introduce a new topological semantics for evidence, evidence-based justifications, belief and knowledge. This setting builds on the evidence model framework of van Benthem and Pacuit, as well as our own previous work on a topological semantics for Stalnaker's doxastic-epistemic axioms. We prove completeness, decidability and finite model property for the associated logics, and we apply this setting to analyze key issues in Epistemology: "no false lemma" Gettier examples, misleading defeaters… 
The Topology of Full and Weak Belief
We introduce a new topological semantics for belief logics in which the belief modality is interpreted as the interior of the closure of the interior operator. We show that the system wKD45, a
Subset Models for Justification Logic
TLDR
A new semantics for justification logic based on subset relations is introduced, which model justifications as sets of possible worlds and shows that they subsume Artemov's approach to aggregating probabilistic evidence.
Knowledge in Topological Argumentation Models
TLDR
The main contribution of this paper is a counter-intuitive result about the notion of knowledge based on justification, which is related to the no false lemmas in Stalnaker’s BK system.
Argument-based Belief in Topological Structures
TLDR
A topological semantics for epistemic notions and argumentation theory are combined, providing also a formal language with a matching modality together with a sound and complete axiom system for a newly defined notion of beliefs grounded on arguments.
No false grounds and topology of argumentation
TLDR
The formalization shows that one of the two notions of knowledge proposed by Clark, justified belief with true grounds, satisfies Stalnaker’s axiom system of belief and knowledge except for the axiom of closure under conjunction.
Logic and Topology for Knowledge, Knowability, and Belief - Extended Abstract
TLDR
It is argued that the plausibility of the principles Stalnaker proposes relating knowledge and belief relies on a subtle equivocation between an " evidence-in-hand" conception of knowledge and a weaker "evidence-out-there" notion of what could come to be known.
Topological Subset Space Models for Belief
TLDR
It is argued that the plausibility of the principles Stalnaker proposes relating knowledge and belief relies on a subtle equivocation between an “ evidence-in-hand” conception of knowledge and a weaker “evidence-out-there” notion of what could come to be known.
Evidence in Epistemic Logic : A Topological Perspective
TLDR
This dissertation re-interprets some existing epistemic and doxastic logics and their dynamic extensions from a topological perspective, providing an evidence-based interpretation and using topological tools to refine and extend earlier analysis, leading to novel logics of evidence and information dynamics.
A Topological Approach to Full Belief
TLDR
This paper provides a topological semantics for belief, in particular, for Stalnaker’s notion of belief defined as ‘epistemic possibility of knowledge’, in terms of the closure of the interior operator on extremally disconnected spaces, and provides a complete axiomatization of the logic of conditional belief and knowledge.
LOGIC AND TOPOLOGY FOR KNOWLEDGE, KNOWABILITY, AND BELIEF
TLDR
It is argued that the plausibility of the principles Stalnaker proposes relating knowledge and belief relies on a subtle equivocation between an “ evidence-in-hand” conception of knowledge and a weaker “evidence-out-there” notion of what could come to be known.
...
...

References

SHOWING 1-10 OF 31 REFERENCES
The Topology of Belief, Belief Revision and Defeasible Knowledge
We present a new topological semantics for doxastic logic, in which the belief modality is interpreted as the closure of the interior operator. We show that this semantics is the most general
Dynamic Logics of Evidence-Based Beliefs
This paper adds evidence structure to standard models of belief, in the form of families of sets of worlds. We show how these more fine-grained models support natural actions of “evidence
Dynamic logic for belief revision
  • J. Benthem
  • Philosophy
    J. Appl. Non Class. Logics
  • 2007
TLDR
This work shows how belief revision can be treated systematically in the format of dynamicepistemic logic, when operators of conditional belief are added, and obtains complete logics for concrete mechanisms of belief revision based on compositional reduction axioms.
The Topological Theory of Belief
Stalnaker introduced a combined epistemic-doxastic logic that can formally express a strong concept of belief, a concept which captures the ‘epistemic possibility of knowledge’. In this paper we
A qualitative theory of dynamic interactive belief revision
TLDR
A logical setting is presented that incorporates a belief-revision mechanism within Dynamic-Epistemic logic, and it is shown how the update mechanism can “simulate”, in a uniform manner, many different belief- revision policies.
Stability, Strength and Sensitivity: Converting Belief into Knowledge
In this paper I discuss the relation between various properties that have been regarded as important for determining whether or not a belief constitutes a piece of knowledge: its stability, strength
Dynamic epistemic logic
TLDR
A semantics and a deduction system for a multi-agent modal language extended with a repertoire of programs that describe information change, designed in such a way that everything that is expressible in the object language can be known or learned by each of the agents.
Knowledge and Grounds: A Comment on Mr. Gettier's Paper
In his paper “Is Justified True Belief Knowledge?” (Analysib 23.6, June 1963) Mr. Gettier provides two counter-examples which show that it need not be. In each case a proposition which is in fact
...
...