Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables

DOI10.1007/11750734_7MaRDI QIDQ3623966zbMATH OpenOpenAlexFDO

Authors Aida Pliuškevičienė, R. Pliuškevičius

Publication date 28 April 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11750734_7

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2215770
• Decision procedure for a combination of logics KD4 and PDL
• scientific article; zbMATH DE number 1536563
• scientific article; zbMATH DE number 43239
• Decision procedures for BDI logics

Cited in

(8)

• Loop-check specification for a sequent calculus of temporal logic
• Dynamic term-modal logics for first-order epistemic planning
• Loop-type sequent calculi for temporal logic
• Decision procedure for a combination of logics KD4 and PDL
• Efficient decision procedure for belief modality
• Finite sequent calculi for PLTL
• A derivation-loop method for temporal logic
• Global condition check strategy for a cyclic sequent calculus of temporal logic

This page was built for publication: Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables

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