Modal logics of reactive frames

Dov M. Gabbay

doi:10.1007/978-3-642-41389-6_6

Modal logics of reactive frames

Dov M. Gabbay

Department of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-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 language	English
Title of host publication	Cognitive Technologies
Publisher	Springer Verlag
Pages	169-202
Number of pages	34
Edition	9783642413889
DOIs	https://doi.org/10.1007/978-3-642-41389-6_6
State	Published - 2013

Publication series

Name	Cognitive Technologies
Number	9783642413889
ISSN (Print)	1611-2482

Bibliographical note

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

Access to Document

10.1007/978-3-642-41389-6_6

Cite this

@inbook{68f49295ce084069a02d5d09bb47cf5c,

title = "Modal logics of reactive frames",

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.",

author = "Gabbay, {Dov M.}",

note = "Publisher Copyright: {\textcopyright} 2013, Springer-Verlag Berlin Heidelberg.",

year = "2013",

doi = "10.1007/978-3-642-41389-6_6",

language = "אנגלית",

series = "Cognitive Technologies",

publisher = "Springer Verlag",

number = "9783642413889",

pages = "169--202",

booktitle = "Cognitive Technologies",

address = "גרמניה",

edition = "9783642413889",

}

TY - CHAP

T1 - Modal logics of reactive frames

AU - Gabbay, Dov M.

PY - 2013

Y1 - 2013

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85028746106&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-41389-6_6

DO - 10.1007/978-3-642-41389-6_6

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.chapter???

AN - SCOPUS:85028746106

T3 - Cognitive Technologies

SP - 169

EP - 202

BT - Cognitive Technologies

PB - Springer Verlag

ER -

Modal logics of reactive frames

Abstract

Publication series

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this