Propositional Logic of Context

@inproceedings{Buvac1993PropositionalLO,
  title={Propositional Logic of Context},
  author={Sasa Buvac and Ian A. Mason},
  booktitle={AAAI},
  year={1993}
}
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