Abstract
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.
Original language | English |
---|---|
Title of host publication | Cognitive Technologies |
Publisher | Springer Verlag |
Pages | 169-202 |
Number of pages | 34 |
Edition | 9783642413889 |
DOIs | |
State | Published - 2013 |
Publication series
Name | Cognitive Technologies |
---|---|
Number | 9783642413889 |
ISSN (Print) | 1611-2482 |
Bibliographical note
Publisher Copyright:© 2013, Springer-Verlag Berlin Heidelberg.