Agents that look at one another

DOI10.1093/jigpal/jzs052zbMath1272.68400OpenAlexW2050849115MaRDI QIDQ4925180

Olivier Gasquet, Philippe Balbiani, François Schwarzentruber

Publication date: 11 June 2013

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzs052

zbMATH Keywords

spatial reasoningaxiomatization/completenessdecidability/complexitymultiagent logics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Related Items (7)

Announcements to attentive agents ⋮ Adding proof calculi to epistemic logics with structured knowledge ⋮ A Poor Man’s Epistemic Logic Based on Propositional Assignment and Higher-Order Observation ⋮ Reasoning about knowledge and messages in asynchronous multi-agent systems ⋮ Dynamic epistemic logics: promises, problems, shortcomings, and perspectives ⋮ On Logics of Group Belief in Structured Coalitions ⋮ Epistemic logics with structured knowledge

This page was built for publication: Agents that look at one another