Logics of knowing and believing (Q4249880)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1303329
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Logics of knowing and believing |
scientific article; zbMATH DE number 1303329 |
Statements
1 May 2000
0 references
modal logics of knowledge and belief
0 references
fuzzy logic
0 references
possibilistic logic
0 references
0 references
0.93240666
0 references
0 references
0.9211789
0 references
0.9188353
0 references
0.91202545
0 references
0.90707004
0 references
Logics of knowing and believing (English)
0 references
The first part of the paper surveys the two-valued modal logics S5 and KD45, of knowledge and belief, respectively. Next, fuzzy propositional versions of S5 and KD45 are presented. The former system is a Pavelka-style extension of Łukasiewicz's infinite-valued propositional logic. The fuzzy KD45 can be faithfully interpreted in the fuzzy S5 extended by the additional axiom \(\diamond q\), where \(q\) is a new propositional variable added to the language of S5. Also the possibilistic logic of Dubois and Prade can be embedded into the fuzzy S5. For the entire collection see [Zbl 0893.00020].
0 references
