@article(Hylogic,
 author       = {Carlos Areces and Patrick Blackburn and Maarten Marx},
 year         = {2001},
 title        = {Hybrid Logics: Characterization, Interpolation and Complexity},
 journal      = {J. Symb. Log.},
 volume       = {66},
 number       = {3},
 pages        = {977--1010},
 doi          = {10.2307/2695090},
)
@inproceedings(BalbianiDL16,
 author       = {Philippe Balbiani and David Fern{\'{a}}ndez Duque and Emiliano Lorini},
 year         = {2016},
 title        = {A Logical Theory of Belief Dynamics for Resource-Bounded Agents},
 booktitle    = {Proceedings of the 2016 International Conference on Autonomous Agents {\&} Multiagent Systems, Singapore, May 9-13, 2016},
 publisher    = {{ACM}},
 pages        = {644--652},
)
@inproceedings(CostantiniFP18,
 author       = {Stefania Costantini and Andrea Formisano and Valentina Pitoni},
 year         = {2018},
 title        = {Timed Memory in Resource-Bounded Agents},
 editor       = {Chiara Ghidini and Bernardo Magnini and Andrea Passerini and Paolo Traverso},
 booktitle    = {AI*IA 2018 - Advances in Artificial Intelligence - XVIIth International Conference of the Italian Association for Artificial Intelligence, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {11298},
 publisher    = {Springer},
 pages        = {15--29},
 doi          = {10.1305/ndjfl/1040046088},
)
@inproceedings(Costantini,
 author       = {Stefania Costantini and Valentina Pitoni},
 year         = {2019},
 title        = {Reasoning about Memory Management in Resource-Bounded Agents},
 editor       = {Alberto Casagrande and Eugenio Omodeo},
 booktitle    = {CILC 2019: Proceedings of the 34th Italian Conference on Computational Logic},
 volume       = {30},
 crossref = {DBLP:conf/aiia/2018},
 publisher    = {https://cilc2019.units.it/CEUR/CILC2019/index.html},
 pages        = {217--228},
)
@article(TEL,
 author       = {Joeri Engelfriet},
 year         = {1996},
 title        = {Minimal Temporal Epistemic Logic},
 journal      = {Notre Dame Journal of Formal Logic},
 volume       = {37},
 number       = {2},
 doi          = {10.1305/ndjfl/1040046088},
)