Reasoning about collectively accepted group beliefs
type: Item
instance of: scholarly article
title: Reasoning about collectively accepted group beliefs
zbMATH Open document ID: 1252.03033
author: Raul Hakli
author: Sara Negri
published in: Journal of Philosophical Logic
publication date: 2011-12-15T00:00:00Z
Mathematics Subject Classification ID: 03B42
Mathematics Subject Classification ID: 03F03
zbMATH DE Number: 5988601
zbMATH Keywords: acceptance logic
zbMATH Keywords: group belief
zbMATH Keywords: labelled sequent calculus
zbMATH Keywords: proof analysis
zbMATH Keywords: multi-agent sequent system
zbMATH Keywords: multi-agent epistemic logic
zbMATH Keywords: Kripke semantics
zbMATH Keywords: discursive dilemma
describes a project that uses: Pesca
MaRDI profile type: Publication
full work available at URL: s10992-011-9188-0
OpenAlex ID: W2166222323
cites work: Q4845472
cites work: A logical framework for grounding-based dialogue analysis
cites work: Proof Theory for Distributed Knowledge
cites work: On the dynamics of institutional agreements
cites work: Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
cites work: The Logic of Acceptance: Grounding Institutions on Agents' Attitudes
cites work: Contraction-free sequent calculi for geometric theories with an application to Barr's theorem
cites work: Proof analysis in modal logic
cites work: Q3101107
cites work: Cut Elimination in the Presence of Axioms
cites work: Structural proof theory. With an appendix by Aarne Ranta
cites work: Proof Analysis
cites work: Axiomatizing collective judgment sets in a minimal logical language
cites work: Multiagent Systems
cites work: Q4499084
cites work: Displaying modal logic
DOI: 10.1007/S10992-011-9188-0
description: scientific article; zbMATH DE number 5988601