Propositional Logic of Context

  title={Propositional Logic of Context},
  author={Sasa Buvac and Ian A. Mason},
In this paper we investigate the simple logical properties of contexts. We describe both the syntax and semantics of a general propositional language of context, and give a Hilbert style proof system for this language. A propositional logic of context extends classical propositional logic in two ways. Firstly, a new modality, ist(K, 4), is introduced. It is used to express that the sentence, 4, holds in the context 6. Secondly, each context has its own vocabulary, i.e. a set of propositional… CONTINUE READING
Highly Influential
This paper has highly influenced 17 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS