An Epistemic Halpern-Shoham Logic

Lomuscio, Alessio; Michaliszyn, Jakub

An Epistemic Halpern-Shoham Logic

Download BibTeX Cite

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.

Alessio Lomuscio, and Jakub Michaliszyn. 2013. An Epistemic Halpern-Shoham Logic. In Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, IJCAI-13. IJCAI, 1010–1015. https://ijcai.org/proceedings/2013/154

@inproceedings{ijcai2013p154,
  title     = {An Epistemic Halpern-Shoham Logic},
  author    = {Lomuscio, Alessio and Michaliszyn, Jakub},
  booktitle = {Proceedings of the Twenty-Third International Joint Conference on
               Artificial Intelligence, {IJCAI-13}},
  publisher = {AAAI Press / International Joint Conferences on Artificial Intelligence},
  editor    = {Francesca Rossi},
  pages     = {1010--1015},
  year      = {2013},
  month     = {8},
  url       = {https://ijcai.org/proceedings/2013/154},
}

TY  - CPAPER
TI  - An Epistemic Halpern-Shoham Logic
AU  - Lomuscio, Alessio
AU  - Michaliszyn, Jakub
T2  - Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, IJCAI-13
PB  - AAAI Press / International Joint Conferences on Artificial Intelligence
PY  - 2013
SP  - 1010
EP  - 1015
UR  - https://ijcai.org/proceedings/2013/154
ER  -