On Logics of Knowledge and Belief

@article{Stalnaker2006OnLO,
  title={On Logics of Knowledge and Belief},
  author={Robert Stalnaker},
  journal={Philosophical Studies},
  year={2006},
  volume={128},
  pages={169-199}
}
Formal epistemology, or at least the approach to formal epistemology that develops a logic and formal semantics of knowledge and belief in the possible worlds framework, began with Jaakko Hintikka’s book Knowledge and Belief, published in 1962. It was later developed and applied to problems in theoretical computer science and game theory, as well as within epistemology. This paper surveys some of these developments, focusing on the formal relations between knowledge and belief, and on the way… 
Talking About Knowledge
In current studies of knowledge at the interface of logic and epistemology, philosophical positions and logical systems lore meet in new ways. In this little piece, a programmatic sequel to van
A Logic of Knowledge and Belief Based on Abstract Arguments
We introduce a logic of knowledge and belief in a framework in which belief has a standard KD45 characterization and knowledge undergoes the classical tripartite analysis that knowledge is justified
Hintikka's Knowledge and Belief in Flux
Hintikka’s Knowledge and Belief from 1962 is considered the seminal treatise on epistemic logic. It provides the nuts and bolts of what is now a flourishing paradigm of significance to philosophy,
Epistemic Logic and Epistemology
This chapter provides a brief introduction to propositional epistemic logic and its applications to epistemology. No previous exposure to epistemic logic is assumed. Epistemic-logical topics
A logic of knowledge based on abstract arguments
TLDR
A logic of knowledge in a framework in which knowledge is treated as a kind of belief is introduced and a variant in which belief is characterized in a weaker system is introduced to avoid the problem of logical omniscience.
Intricate Axioms as Interaction Axioms
TLDR
In epistemic logic, some axioms dealing with the notion of knowledge are rather convoluted and difficult to interpret intuitively, but it is shown that they can be characterized in terms of understandable interaction axiomatic relating knowledge and belief or knowledge and conditional belief.
The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge
TLDR
A logic for reasoning about the evidence-based knowledge and beliefs and the evidential dynamics of non-logically -omniscient agents and a formal dynamic account of Lehrer’s well-known Gettier-type scenario involving the famous Ferrari and the infamous Messrs. Nogot and Havit is provided.
Logics for resource-bounded agents
TLDR
This thesis proposes a new logical framework for representing the knowledge and beliefs of multiple resource-bounded agents based on possible worlds semantics, and offers a sentential account of belief based on Dennett’s that avoids logical omniscience.
Iteration Principles in Epistemology I: Arguments For
TLDR
This article provides a survey of various arguments for and against epistemic iteration principles, with a focus on arguments relevant to a wide range of such principles.
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 14 REFERENCES
The problem of logical omniscience, I
From their beginning, I epistemic and doxastic logics-the logics of knowledge and belief have been modeled on modal logic-the logic of necessity and possibility. Knowledge and belief, in such logics,
Reasoning about knowledge
TLDR
Reasoning About Knowledge is the first book to provide a general discussion of approaches to reasoning about knowledge and its applications to distributed systems, artificial intelligence, and game theory.
What is a Nonmonotonic Consequence Relation?
This paper is an attempt to articulate and respond to a philosophical problem about the general idea of a nonmonotonic consequence relation. The problem concerns the clarification of the target
Recent results on belief, knowledge and the epistemic foundations of game theory
We provide a self-contained, selective overview of the literature on the role of knowledge and beliefs in game theory. We focus on recent results on the epistemic foundations of solution concepts,
Knowledge, Belief and Counterfactual Reasoning in Games
Deliberation about what to do in any context requires reasoning about what will or would happen in various alternative situations, including situations that the agent knows will never in fact be
Context and content : essays on intentionality in speech and thought
INTRODUCTION PART I: REPRESENTING CONTEXTS: 1. PRAGMATICS 2. PRAGMATIC PRESUPPOSITIONS 3. INDICATIVE CONDITIONALS 4. ASSERTION 5. ON THE REPRESENTATION OF CONTEXT PART II: ATTRIBUTING ATTITUDES: 6.
Modal Logic S4F and The Minimal Knowledge Paradigm
TLDR
A new semantic model and the corresponding syntactic characterization for autoepistemic reasoning are proposed and it is proposed that an autoepismic logic of self-knowledge is proposed.
Is Justified True Belief Knowledge?
Edmund Gettier is Professor Emeritus at the University of Massachusetts, Amherst. This short piece, published in 1963, seemed to many decisively to refute an otherwise attractive analysis of
Knowledge in Flux: Modeling the Dynamics of Epistemic States
Knowledge in Flux presents a theory of rational changes of belief, focusing particularly on revisions that occur when the agent receives new information that is inconsistent with the present
Knowledge and Its Limits
INTRODUCTION 1. A STATE OF MIND 2. BROADNESS 3. PRIMENESS 4. ANTI-LUMINOSITY 5. MARGINS AND ITERATIONS 6. AN APPLICATION 7. SENSITIVITY 8. SCEPTICISM 9. EVIDENCE 10. EVIDENTIAL PROBABILITY 11.
...
...