Convergence, continuity, recurrence and Turing completeness in dynamic epistemic logic (bibtex)

by Dominik Klein and Rasmus K. Rendsvig

Reference:

Convergence, continuity, recurrence and Turing completeness in dynamic epistemic logic Dominik Klein and Rasmus K. Rendsvig. Journal of Logic and Computation. 2020.

Bibtex Entry:

@article{KleinRendvig_JLC2020,
    author  = {Dominik Klein and Rasmus~K. Rendsvig},
    title   = {{Convergence, continuity, recurrence and Turing completeness in dynamic epistemic logic}},
    Journal = {Journal of Logic and Computation},
    year    = {2020},
    doi     = {10.1093/logcom/exaa035},
    url     = {http://rends.dk/papers/KleinRendsvig_JLC2020.pdf}
}