A Model Theory for a Quantified Generalized Logic of Contexts

Citation: Selene Makarios. (2006) A Model Theory for a Quantified Generalized Logic of Contexts. In KSL-06-08, 2006.

Publication techreport ( Edit )
type	Technical Report
bibtype	techreport
Bibtex basics
author	Selene Makarios
title	A Model Theory for a Quantified Generalized Logic of Contexts
number	KSL-06-08
institution	Knowledge Systems, AI Laboratory
year	2006
Bibtex more
Access Paper
abstract	[[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.\|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.]]

KSL Technical Report ID: KSL-06-08

Author	Selene Makarios +
Bibtype	techreport +
Has author	Selene Makarios +
Has identifier	KSL-06-08 +
Has publishing details	2006 +
Has title	A Model Theory for a Quantified Generalized Logic of Contexts +
Has where published	KSL-06-08 +
Has year	2006 +
Institution	Knowledge Systems, AI Laboratory +
Ksl tr id	KSL-06-08 +
Number	KSL-06-08 +
Process note	YES +
Title	A Model Theory for a Quantified Generalized Logic of Contexts +
Year	2006 +