In this chapter the author explains modal logics of reactive frames. He shows the correspondence between logic, reactive frame property, and the shattered frame unfolded property. He uses classical tools to study completeness in a new interpretation of modal logic, successfully studying some of its subsystems.
|Title of host publication||Cognitive Technologies|
|Number of pages||34|
|State||Published - 2013|
Bibliographical notePublisher Copyright:
© 2013, Springer-Verlag Berlin Heidelberg.