A fibred belief logic for multi-agent systems

Authors:
Chuchang Liu;Maris A. Ozols;Mehmet A. Orgun
Affiliations:
Information Networks Division, Defence Science and Technology Organisation, Edinburgh, SA, Australia;Information Networks Division, Defence Science and Technology Organisation, Edinburgh, SA, Australia;Department of Computing, Macquarie University, Sydney, NSW, Australia
Venue:
AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
Year:
2005

Citing 8
Cited 1

A logic of authentication

ACM Transactions on Computer Systems (TOCS)
A guide to completeness and complexity for modal logics of knowledge and belief

Artificial Intelligence
Symbolic model checking: an approach to the state explosion problem

Symbolic model checking: an approach to the state explosion problem
Dealing with multiple granularity of time in temporal logic programming

Journal of Symbolic Computation - Special issue: executable temporal logics
Analysing a Stream Authentication Protocol Using Model Checking

ESORICS '02 Proceedings of the 7th European Symposium on Research in Computer Security
Efficient Authentication and Signing of Multicast Streams over Lossy Channels

SP '00 Proceedings of the 2000 IEEE Symposium on Security and Privacy
A compositional logic for proving security properties of protocols

Journal of Computer Security - Special issue on CSFW14
A temporalised belief logic for specifying the dynamics of trust for multi-agent systems

ASIAN'04 Proceedings of the 9th Asian Computing Science conference on Advances in Computer Science: dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday

Theories of Trust for Communication Protocols

ATC '09 Proceedings of the 6th International Conference on Autonomic and Trusted Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

To introduce a temporal dimension to a belief logic, we consider a powerful technique called fibring for combining belief logics and temporal logics. In a fibred belief logic, both temporal operators and belief operators are treated equally. This paper in particular discusses a combination of a belief logic called Typed-Modal Logic with a linear-time temporal logic. We show that, in the resulting logic, we can specify and reason about not only agent beliefs but also the timing properties of a system. With this logical system one is able to build theories of trust for the description of, and reasoning about, multi-agent systems.