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://rasmuskrendsvig.dk/papers/KleinRendsvig_JLC2020.pdf}
}
Powered by bibtexbrowser