A model theory for a quantified generalized logic of contexts

From Semantic Portal Wiki

Edit

[[abstract::We investigate the formal semantics of a quantified version of a generalization of the logic of contexts that uses the operator $ist(c,\phi)$ introduced by Guha [] and consonant to the notion of context logic as proposed by McCarthy []. We offer a full, rigorous, model-theoretic treatment of the unrestricted quantified context-logic formalism, filling what we perceive as a gap in the formal foundation of the logic of context.|]]

Reference:

1. Selene Makarios. A Model Theory for a Quantified Generalized Logic of Contexts , Knowledge Systems, AI Laboratory (KSL-06-08), 2006

bibtex

@techreport { KSL-06-08 ,
  author = "Selene Makarios", 
institution = "Knowledge Systems, AI Laboratory", 
number = "KSL-06-08", 
title = "A Model Theory for a Quantified Generalized Logic of Contexts", 
year = "2006", 
} 

abstract: We investigate the formal semantics of a quantified version of a generalization of the logic of contexts that uses the operator $ist(c,\phi)$ introduced by Guha [] and consonant to the notion of context logic as proposed by McCarthy []. We offer a full, rigorous, model-theoretic treatment of the unrestricted quantified context-logic formalism, filling what we perceive as a gap in the formal foundation of the logic of context.

download:

• paper:
• slides: