scientific article; zbMATH DE number 5046364

MaRDI QIDQ5483011zbMATH OpenFDO

Authors

Publication date 15 August 2006

zbMATH Keywords

clausal resolution methodtemporal logics of knowledge

Mathematics Subject Classification ID

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

Recommendations

• Resynchronizing dynamical systems
• The reservoir's perspective on generalized synchronization
• Synchronization via interacting reinforcement
• scientific article; zbMATH DE number 2123761
• Synchronization
• Synchronization and redundancy: implications for robustness of neural learning and decision making
• Noncommittal barrier synchronization

Cited in

(3)

• Using temporal logics of knowledge for specification and verification -- a case study
• Temporal logics of knowledge and their applications in security
• A resolution-based proof method for temporal logics of knowledge and belief

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 Q5483011)