𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Reasoning About Collectively Accepted Group Beliefs

✍ Scribed by Raul Hakli; Sara Negri


Publisher
Springer Netherlands
Year
2011
Tongue
English
Weight
448 KB
Volume
40
Category
Article
ISSN
0022-3611

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Reasoning tractably about explicit belie
✍ Kwang Mong Sim πŸ“‚ Article πŸ“… 2000 πŸ› John Wiley and Sons 🌐 English βš– 273 KB πŸ‘ 2 views

Existing epistemic logics such as the logic of implicit and explicit belief and the logic of awareness adopt a deducti¨e-theoretic approach for characterizing belief. In this approach, an agent represents the state of the world with a conjunction of axioms in its knowledge Ž . base KB and evaluates