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 |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=63040917&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 63040917 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00223611 JPH jtl: Journal of Philosophical Logic issn: 00223611 maglogo: N pubinfo: dt: Aug2011 vid: 40 iid: 4 pid: 237 pub: Springer Nature artinfo: ui: 63040917 10.1007/s10992-011-9188-0 ppf: 531 ppct: 25 formats: fmt: @attributes: type: P size: 448KB tig: atl: Reasoning About Collectively Accepted Group Beliefs. aug: au: Hakli, Raul Negri, Sara affil: Department of Philosophy, University of Helsinki, Unioninkatu 40 A 00014 Helsinki Finland su: Reasoning Multiagent systems Calculus Logic Mathematics Semantics (Philosophy) Epistemics sug: subj: Reasoning Multiagent systems Calculus Logic Mathematics Semantics (Philosophy) Epistemics keyword: Acceptance logic Group belief Labelled sequent calculus Proof analysis ab: 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 possible worlds and a notation for internalized accessibility relations between worlds. The system is contraction- and cut-free. Extensions of the basic system are considered, in particular with rules that allow the possibility of operative members or legislators. Completeness with respect to the underlying Kripke semantics follows from a general direct and uniform argument for labelled sequent calculi extended with mathematical rules for frame properties. As an example of the use of the calculus we present an analysis of the discursive dilemma. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: Journal of Philosophical Logic is a copyright of Springer, 2011. All Rights Reserved. item: Journal of Philosophical Logic holder: Springer Nature dt: @attributes: year: 2011 holdings: @attributes: islocal: N |
|---|