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