A Strongly-Local Contextual Logic

Abstract

A novel contextual logic is presented that combines features of both multi-context systems and logics of context. Broadly, contextual logics are those with a formal notion of context — knowledge that is true only under specific assumptions. Multi-context systems use discrete logistic systems as individual contexts, related by meta-level rules, whereas… (More)

Topics

Cite this paper

@inproceedings{Gratton2013ASC, title={A Strongly-Local Contextual Logic}, author={Michael James Gratton}, booktitle={IJCAI}, year={2013} }