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

DOI10.1007/11750734_7zbMATH Open1235.03050OpenAlexW2108831688MaRDI QIDQ3623966FDOQ3623966

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

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

Mathematics Subject Classification ID

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

Cited In (7)

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

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)