Multi-agent only knowing (Q2720397)
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 1611141
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Multi-agent only knowing |
scientific article; zbMATH DE number 1611141 |
Statements
30 April 2002
0 references
multi-modal belief logic
0 references
only-knowing logic
0 references
nonmonotonic reasoning
0 references
0.9421862
0 references
0.9228822
0 references
0 references
0.8642397
0 references
0.86031157
0 references
0 references
0.85440004
0 references
Multi-agent only knowing (English)
0 references
The authors extend Levesque's only-knowing logic to the multi-agent case. The notion of only-knowing is re-examined and an axiom system capturing the desired properties of only-knowing is proposed. A corresponding semantics is given as well. Additionally, the axiom system provides a complete axiomatization for K45-satisfiability.
0 references
