Adaptive logics for question evocation

Joke Meheus


In this paper, I present two adaptive logics for Wisniewski's notion of question evocation. The first is based on an erotetic extension of Classical Logic, the second on an erotetic extension of S5. For both logics, I present the semantics and the dynamic proof theory. The latter is especially important in view of the fact that question evocation is a non-monotonic relation for which there is no positive test. Thanks to its dynamical character, the proof theory moreover solves the logical omniscience problem to which Wisniewski's static definition of question evocation leads.

Full Text:



  • There are currently no refbacks.