Reasoning About Collectively Accepted Group Beliefs.
proof-theoretical treatment of collectively accepted group beliefs is presented through a multi-agent sequent system for an axiomatization of the logic of acceptance. The system is based on a labelled sequent calculus for propositional multi-agent epistemic logic with labels that correspond to possi...
| Publicado en: | Journal of Philosophical Logic Vol. 40; no. 4; pp. 531 - 556 |
|---|---|
| Autores principales: | , |
| Formato: | Artículo |
| Publicado: |
Springer Nature
Aug2011
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |