Two formalizations of context: a comparison

In P. Bouquet V. Akman (ed.), Modeling and Using Context. Springer. pp. 87--101 (2001)

Abstract

This article has no associated abstract. (fix it)

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,722

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2014-01-28

Downloads
16 (#671,556)

6 months
1 (#388,319)

Historical graph of downloads
How can I increase my downloads?

References found in this work

No references found.

Add more references

Citations of this work

ML Systems: A Proof Theory for Contexts. [REVIEW]Luciano Serafini & Fausto Giunchiglia - 2002 - Journal of Logic, Language and Information 11 (4):471-518.

Add more citations

Similar books and articles

ML Systems: A Proof Theory for Contexts. [REVIEW]Luciano Serafini & Fausto Giunchiglia - 2002 - Journal of Logic, Language and Information 11 (4):471-518.
“Helping”: Several Formalizations.Nancy Lynch - 1975 - Journal of Symbolic Logic 40 (4):555-566.
I. Formal Theory in Social Science.Charles Taylor - 1980 - Inquiry: An Interdisciplinary Journal of Philosophy 23 (2):139 – 144.
Beth's Theorem and Deflationism.Timothy Bays - 2009 - Mind 118 (472):1061-1073.