Consistency proofs for systems of multi-agent only knowing

MaRDI QIDQ5483017zbMATHFDO

Authors Arild Waaler

Publication date 15 August 2006

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)

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

Cited in

(7)

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

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)