The Complexity of One-Agent Refinement Modal Logic

Cite

Text

Bozzelli et al. "The Complexity of One-Agent Refinement Modal Logic." International Joint Conference on Artificial Intelligence, 2013.

Markdown

[Bozzelli et al. "The Complexity of One-Agent Refinement Modal Logic." International Joint Conference on Artificial Intelligence, 2013.](https://mlanthology.org/ijcai/2013/bozzelli2013ijcai-complexity/)

BibTeX

@inproceedings{bozzelli2013ijcai-complexity,
  title     = {{The Complexity of One-Agent Refinement Modal Logic}},
  author    = {Bozzelli, Laura and van Ditmarsch, Hans and Pinchinat, Sophie},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2013},
  pages     = {2977-2981},
  url       = {https://mlanthology.org/ijcai/2013/bozzelli2013ijcai-complexity/}
}