Dynamic term-modal logics for first-order epistemic planning (bibtex)

by Andrés Occhipinti Liberman, Andreas Achen and Rasmus K. Rendsvig

Reference:

Dynamic term-modal logics for first-order epistemic planning Andrés Occhipinti Liberman, Andreas Achen and Rasmus K. Rendsvig. Artificial Intelligence. vol. 286. 2020.

Bibtex Entry:

@article{OcchipintiLibermanAchenRendsvig_AIJ20,
    title   = {{Dynamic term-modal logics for first-order epistemic planning}},
    author  = {Andr{\'e}s {Occhipinti Liberman} and Andreas Achen and Rasmus~K. Rendsvig},
    journal = {Artificial Intelligence},
    volume  = {286},
    pages   = {103305},
    year    = {2020},
    doi     = {10.1016/j.artint.2020.103305},
    url     = {https://arxiv.org/pdf/1906.06047.pdf},
}