Abstract | ||
---|---|---|
A 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. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1007/s10992-011-9188-0 | J. Philosophical Logic |
Keywords | DocType | Volume |
acceptance logic · group belief · labelled sequent calculus · proof analysis,epistemic logic,sequent calculus,possible worlds | Journal | 40 |
Issue | ISSN | Citations |
4 | 1573-0433 | 9 |
PageRank | References | Authors |
0.58 | 13 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Raul Hakli | 1 | 47 | 5.04 |
Sara Negri | 2 | 280 | 24.76 |