Efficient decision procedure for belief modality

MaRDI QIDQ3173800zbMATH OpenFDO

Authors Adomas Birštunas

Publication date 10 October 2011

zbMATH Keywords

BDI logicloop-checksequent calculus

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Agent technology and artificial intelligence (68T42)

Recommendations

• Decision procedure for a combination of logics KD4 and PDL
• Decision procedures for BDI logics
• scientific article; zbMATH DE number 1536563
• scientific article; zbMATH DE number 2215770
• Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables

Cited in

(1)

• Decision procedure for a combination of logics KD4 and PDL

This page was built for publication: Efficient decision procedure for belief modality

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