@ARTICLE {22661, author={S. Marcelino and D. Gabbay}, doi={10.1007/s11225-009-9214-1}, journal={Studia Logica}, title={Modal Logics of Reactive Frames}, year={2009}, month={November}, volume={93}, number={2-3}, pages={405-446}, ISSN={0039-3215} }