Reasoning about collectively accepted group beliefs

DOI10.1007/S10992-011-9188-0zbMATH Open1252.03033OpenAlexW2166222323MaRDI QIDQ652734FDOQ652734

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

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

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)

Cites Work

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

Cited In (7)

• Group Belief
• Judgement aggregation in non-classical logics
• Title not available (Why is that?)
• 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

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)