Decidability of contextual reasoning
Vanja Buvač · 1994
this paper is to show that propositional contextual reasoning is decidable. Propositional logic of context extends classical propositional logic with a new modality, ist(c; OE), used to express that the sentence, OE, is true in the context