scientific article; zbMATH DE number 2215770

MaRDI QIDQ5696557zbMATH OpenFDO

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

Publication date 18 October 2005

zbMATH Keywords

agent-based logicsequent calculus

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 1536563
• Decision procedures and expressiveness in the temporal logic of branching time
• scientific article; zbMATH DE number 3974944
• Decision procedure for a combination of logics KD4 and PDL
• Tableau-based decision procedures for logics of strategic ability in multiagent systems

Cited in

(5)

• Decision procedure for a combination of logics KD4 and PDL
• Efficient decision procedure for belief modality
• Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables
• scientific article; zbMATH DE number 1536563 (Why is no real title available?)
• scientific article; zbMATH DE number 1424541 (Why is no real title available?)

This page was built for publication:

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