|
|
|
|
|
|
A Logic for Changing Beliefs with Applications to Reasoning
About Choice and Games
|
|
|
|
Arnis Vilks
|
|
|
|
[Back to paper
list] [Start
page] [Alphabetical
index]
|
|
|
|
Keywords: Epistemic logic,
Belief sets, Self-knowledge, Backwards induction.
|
|
|
|
Abstract: We suggest a belief set semantics for an
epistemic logic with a sequence of belief operators. A model
for the language includes a distinct belief set for each
point of time, and satisfies "p is believed at t" iff p
belongs to the t-th belief set. By imposing certain
conditions on the admissible models we arrive at a logic
which resembles the normal modal system K45, but does not
require that introspection and knowledge generalization are
instantanuous. We apply the logic to the problem of
self-knowledge of one's options and rationality, and to an
analysis of the backward-induction argument.
|
|
|

|
|
|
Click here
to obtain the paper in PDF format.
|
|
|
|
Arnis
Vilks, vilks@microec.hhl.de
Handelshochschule Leipzig
Leipzig Graduate School of Management
Jahnallee 59, 04109 Leipzig, Germany
http://www.hhl.de/l_mikro/av.htm
|
|
|
|
|
|
Spinning Ideas, Electronic Essays
Dedicated to Peter Gärdenfors on His Fiftieth
Birthday
|