---
title: "An Epistemic Halpern-Shoham Logic"
authors:
  - "Alessio Lomuscio"
  - "Jakub Michaliszyn"
doi: ""
url: "https://ijcai.org/proceedings/2013/154"
pdf: "https://ijcai.org/proceedings/2013/0154.pdf"
venue: "Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence"
year: 2013
pages: "1010-1015"
track: ""
keywords:
---

# An Epistemic Halpern-Shoham Logic

Alessio Lomuscio, Jakub Michaliszyn

*Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence*, pages 1010-1015.

## Abstract

We define a family of epistemic extensions of Halpern-Shoham logic for reasoning about temporal-epistemic properties of multi-agent systems. We exemplify their use and study the complexity of their model checking problem. We show a range of results ranging from PTIME to PSPACE-hard depending on the logic considered.