Carlos Areces, Patrick Blackburn & Maarten Marx (2001):
Hybrid Logics: Characterization, Interpolation and Complexity.
J. Symb. Log. 66(3),
pp. 977–1010,
doi:10.2307/2695090.
Philippe Balbiani, David Fernández Duque & Emiliano Lorini (2016):
A Logical Theory of Belief Dynamics for Resource-Bounded Agents.
In: Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, Singapore, May 9-13, 2016.
ACM,
pp. 644–652.
Stefania Costantini, Andrea Formisano & Valentina Pitoni (2018):
Timed Memory in Resource-Bounded Agents.
In: Chiara Ghidini, Bernardo Magnini, Andrea Passerini & Paolo Traverso: AI*IA 2018 - Advances in Artificial Intelligence - XVIIth International Conference of the Italian Association for Artificial Intelligence, Proceedings,
Lecture Notes in Computer Science 11298.
Springer,
pp. 15–29,
doi:10.1305/ndjfl/1040046088.
Stefania Costantini & Valentina Pitoni (2019):
Reasoning about Memory Management in Resource-Bounded Agents.
In: Alberto Casagrande & Eugenio Omodeo: CILC 2019: Proceedings of the 34th Italian Conference on Computational Logic 30 * .
https://cilc2019.units.it/CEUR/CILC2019/index.html,
pp. 217–228.
eptcs@eptcs.org