Consistency proofs for systems of multi-agent only knowing

zbMATH Open1102.03011MaRDI QIDQ5483017FDOQ5483017

Authors: Arild Waaler 

Publication date: 15 August 2006

Recommendations

• Multi-agent only knowing
• Multi-agent only-knowing
• Logical Spaces in Multi-agent Only Knowing Systems
• Semantical considerations on multiagent only knowing
• A theory of knowledge and ignorance for many agents

zbMATH Keywords

consistencyconfidencebeliefsequent calculuscut-eliminationmulti-modal system of only knowing

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Cut-elimination and normal-form theorems (03F05) Logic in artificial intelligence (68T27)

Cited In (7)

• A class of decidable information logics
• Inconsistency-tolerant multi-agent calculus
• Semantical considerations on multiagent only knowing
• Multi-agent only knowing
• From single agent to multi-agent via hypersequents
• Logic of confidence
• Only knowing with degrees of confidence

This page was built for publication: Consistency proofs for systems of multi-agent only knowing

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