Reasoning about collectively accepted group beliefs

DOI10.1007/S10992-011-9188-0MaRDI QIDQ652734zbMATH OpenOpenAlexFDO

Authors Raul Hakli, Sara Negri

Publication date 15 December 2011

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10992-011-9188-0

zbMATH Keywords

Kripke semanticsproof analysisdiscursive dilemmaacceptance logicgroup belieflabelled sequent calculusmulti-agent epistemic logicmulti-agent sequent system

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• Multi-agent belief revision with linked preferences
• Rational belief changes for collective agents
• Logics for modelling collective attitudes
• Proof Theory for Distributed Knowledge
• On the dynamics of institutional agreements

Cites work

• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• A logical framework for grounding-based dialogue analysis
• Axiomatizing collective judgment sets in a minimal logical language
• Contraction-free sequent calculi for geometric theories with an application to Barr's theorem
• Cut Elimination in the Presence of Axioms
• Displaying modal logic
• Kripke completeness revisited
• Multiagent Systems
• On the dynamics of institutional agreements
• Proof Analysis
• Proof Theory for Distributed Knowledge
• Proof analysis in modal logic
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Structural proof theory. With an appendix by Aarne Ranta
• The logic of acceptance: grounding institutions on agents' attitudes

Cited in

(7)

• Group Belief
• Judgement aggregation in non-classical logics
• scientific article; zbMATH DE number 2222692 (Why is no real title available?)
• Logic and majority voting
• Labeled sequent calculus for justification logics
• Proofs and countermodels in non-classical logics
• Natural deduction for modal logic of judgment aggregation

Describes a project that uses

Uses Software

• Pesca

This page was built for publication: Reasoning about collectively accepted group beliefs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q652734)