Natural Deduction and Context as (Constructive) Modality (Q3550858)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Natural Deduction and Context as (Constructive) Modality |
scientific article |
Statements
Natural Deduction and Context as (Constructive) Modality (English)
0 references
6 April 2010
0 references
logical formalisms for context
0 references
representing context and contextual knowledge
0 references
context in knowledge representation
0 references
