scientific article; zbMATH DE number 2084402

MaRDI QIDQ4475162zbMATH OpenFDO

Authors Chuchang Liu

Publication date 9 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2256/22560333.htm

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1954129
• scientific article; zbMATH DE number 1808267
• Trust and Norms in the Context of Computer Security: A Logical Formalization
• scientific article; zbMATH DE number 1954189
• Trust Management

Cited in

(12)

• An omniscience-free temporal logic of knowledge for verifying authentication protocols
• Cognitive reasoning and trust in human-robot interactions
• scientific article; zbMATH DE number 1808267 (Why is no real title available?)
• Trust and Norms in the Context of Computer Security: A Logical Formalization
• A modal type theory for formalizing trusted communications
• scientific article; zbMATH DE number 1107687 (Why is no real title available?)
• scientific article; zbMATH DE number 1954129 (Why is no real title available?)
• scientific article; zbMATH DE number 1954189 (Why is no real title available?)
• An analytic tableau calculus for a temporalised belief logic
• Reasoning About Trust and Belief Change on a Social Network: A Formal Approach
• scientific article; zbMATH DE number 6741937 (Why is no real title available?)
• Information Security

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