Global modal logics for multiagent systems: a logical fibering approach

Authors:
Johann Edtmayr
Affiliations:
Department of Computer Science, University of Salzburg, Salzburg, Austria
Venue:
EUROCAST'05 Proceedings of the 10th international conference on Computer Aided Systems Theory
Year:
2005

Citing 2
Cited 0

Reasoning about knowledge

Reasoning about knowledge
Logical fiberings and polycontextural systems

FAIR '91 Proceedings of the International Workshop on Fundamentals of Artificial Intelligence Research

Quantified Score

Hi-index	0.00

Visualization

Abstract

It has become customary to use epistemic modal logic for the formal study of knowledge and beliefs of agents. Based on the concept of logical fibering, which is briefly summarized, we present so-called fibered global modal logics for the logical modeling of multiagent systems (MAS). Considering a simple multi-robot scenario we show that our global logical models allow to study the knowledge and beliefs of the agents, taking into account the communication between the agents.