Talk by Krister Segerberg
Hypertheories in Dynamic Doxastic Logic
In modal logic the introduction of Kripke semantics and the
concept of a normal modal logic made possible a systematic and unified
treatment of a large family of logics, including most of the best-known
systems in the literature. The study of theory change (belief revision)
has a certain affinity with modal logic, and it is a field that would
benefit from systematization and unification. Perhaps the latter can be
achieved at least to some extent by emphasizing the connection with modal
logic. In the author's proposal, hypertheories play an important role.
Paul Dekker, December 10, 1995