Reasoning about collectively accepted group beliefs

DOI10.1007/s10992-011-9188-0zbMath1252.03033OpenAlexW2166222323MaRDI QIDQ652734

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)

Related Items

Logic and majority voting, Labeled sequent calculus for justification logics, Judgement aggregation in non-classical logics, Natural deduction for modal logic of judgment aggregation, Proofs and countermodels in non-classical logics

Uses Software

• Pesca

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof analysis in modal logic
• On the dynamics of institutional agreements
• Contraction-free sequent calculi for geometric theories with an application to Barr's theorem
• Displaying modal logic
• Axiomatizing collective judgment sets in a minimal logical language
• Proof Analysis
• Proof Theory for Distributed Knowledge
• Multiagent Systems
• The Logic of Acceptance: Grounding Institutions on Agents' Attitudes
• Cut Elimination in the Presence of Axioms
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi