No label defined (Q4941942)
From MaRDI portal
scientific article; zbMATH DE number 1418378
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1418378 |
Statements
5 September 2000
0 references
local models semantics
0 references
context-based representation of belief
0 references
modular approach
0 references
context-based logic
0 references
representation of agents's beliefs
0 references
logic for contextual reasoning
0 references
tableau system
0 references
