@inproceedings{b689729ae5884c53b6ee11ce01ea1a57,
title = "A fibred belief logic for multi-agent systems",
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.",
author = "Chuchang Liu and Ozols, {Maris A.} and Orgun, {Mehmet A.}",
year = "2005",
month = dec,
doi = "10.1007/11589990_6",
language = "English",
isbn = "3540304622",
volume = "3809 LNAI",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer, Springer Nature",
pages = "29--38",
editor = "Shichao Zhang and Ray Jarvis",
booktitle = "AI 2005: Advances in Artificial Intelligence",
address = "United States",
note = "18th Australian Joint Conference on Artificial Intelligence, AI 2005: Advances in Artificial Intelligence ; Conference date: 05-12-2005 Through 09-12-2005",
}