Propositional logic of context

Authors:
Saša Buvač;Ian A. Mason
Affiliations:
Computer Science Department, Stanford University, Stanford, California;Computer Science Department, Stanford University, Stanford, California
Venue:
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Year:
1993

Citing 9
Cited 8

An assumption-based TMS

Artificial Intelligence
Generality in artificial intelligence

Communications of the ACM
Cyc: a mid-term report

AI Magazine
A guide to completeness and complexity for modal logics of knowledge and belief

Artificial Intelligence
Varieties of context

Artificial intelligence and mathematical theory of computation
Contexts: a formalization and some applications

Contexts: a formalization and some applications
Formalizing Commonsense: Papers by John McCarthy

Formalizing Commonsense: Papers by John McCarthy
Notes on formalizing context

IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
The representation and use of focus in a system for understanding dialogs

IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1

From abstract to concrete norms in agent institutions

FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
A contextualized knowledge framework for semantic web

ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part II
Contextual taxonomies

CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Counts-as: classification or constitution? an answer using modal logic

DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
Enhancing cooperation in distributed information systems using conviviality and multi-context systems

MIWAI'11 Proceedings of the 5th international conference on Multi-Disciplinary Trends in Artificial Intelligence
A Formalization Of Viewpoints

Fundamenta Informaticae
Metamathematics Of Contexts

Fundamenta Informaticae
Papers On Context: Theory And Practice

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we investigate the simple logical properties of contexts. We describe both the syntax and semantics of a general propositional language of context, and give a Hilbert style proof system for this language. A propositional logic of context extends classical propositional logic in two ways. Firstly, a new modality, ist(k, φ), is introduced. It is used to express that the sentence, φ, holds in the context k. Secondly, each context has its own vocabulary, i.e. a set of propositional atoms which are defined or meaningful in that context. The main results of this paper are the soundness and completeness of this Hilbert style proof system. We also provide soundness and completeness results (i.e. correspondence theory) for various extensions of the general system.