A model-theoretic analysis of knowledge (Q4302840)
From MaRDI portal
scientific article; zbMATH DE number 622320
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A model-theoretic analysis of knowledge |
scientific article; zbMATH DE number 622320 |
Statements
A model-theoretic analysis of knowledge (English)
0 references
21 August 1994
0 references
common knowledge
0 references
distributed systems
0 references
epistemology
0 references
knowledge structures
0 references
Kripke structure
0 references
modal logic
0 references
possible worlds
0 references
reasoning about knowledge
0 references
model theory of knowledge
0 references
