A model theory for a quantified generalized logic of contexts

From Semantic Portal Wiki

{{#vardefine:category|Publication}}{{#vardefine:templatename|i.publication}}{{#vardefine:package|smwbp_instance_templates}}

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: {{#vardefine:pagename|a model theory for a quantified generalized logic of contexts }}

1. [[]]

bibtex

{{#vardefine:pagename|A model theory for a quantified generalized logic of contexts }}{{#vardefine:key| }}

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: