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...

Full description

Bibliographic Details

Published in:	Journal of Philosophical Logic Vol. 40; no. 4; pp. 531 - 556
Main Authors:	Hakli, Raul, Negri, Sara
Format:	Article
Published:	Springer Nature Aug2011
Subjects:	Reasoning Multiagent systems Calculus Logic Mathematics Semantics (Philosophy) Epistemics
Online Access:	View this record in EBSCOhost