Johan van Benthem, Jan van Eijck, Vera Stebletsova. Modal Logic, Transition Systems and Processes. Journal of Logic and Computation, 4(5):811-855, 1994.
@article{BenthemES94,
title = {Modal Logic, Transition Systems and Processes},
author = {Johan van Benthem and Jan van Eijck and Vera Stebletsova},
year = {1994},
tags = {modal logic, logic},
researchr = {https://researchr.org/publication/BenthemES94},
cites = {0},
citedby = {0},
journal = {Journal of Logic and Computation},
volume = {4},
number = {5},
pages = {811-855},
}