Modal logics of reactive frames

Dov M. Gabbay

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

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 languageEnglish
Title of host publicationCognitive Technologies
PublisherSpringer Verlag
Pages169-202
Number of pages34
Edition9783642413889
DOIs
StatePublished - 2013

Publication series

NameCognitive Technologies
Number9783642413889
ISSN (Print)1611-2482

Bibliographical note

Publisher Copyright:
© 2013, Springer-Verlag Berlin Heidelberg.

Cite this