Completeness theorems for reactive modal logics

Dov M. Gabbay

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

Completeness theorems for reactive modal logics

Dov M. Gabbay

Department of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

Abstract

In this chapter the author gives completeness theorems for some basic reactive Kripke models and semantics.

Original language	English
Title of host publication	Cognitive Technologies
Publisher	Springer Verlag
Pages	119-167
Number of pages	49
Edition	9783642413889
DOIs	https://doi.org/10.1007/978-3-642-41389-6_5
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_5

Cite this

@inbook{6b880b4d9e6440469feab18c407007a2,

title = "Completeness theorems for reactive modal logics",

abstract = "In this chapter the author gives completeness theorems for some basic reactive Kripke models and semantics.",

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

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

year = "2013",

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

language = "אנגלית",

series = "Cognitive Technologies",

publisher = "Springer Verlag",

number = "9783642413889",

pages = "119--167",

booktitle = "Cognitive Technologies",

address = "גרמניה",

edition = "9783642413889",

}

TY - CHAP

T1 - Completeness theorems for reactive modal logics

AU - Gabbay, Dov M.

PY - 2013

Y1 - 2013

N2 - In this chapter the author gives completeness theorems for some basic reactive Kripke models and semantics.

AB - In this chapter the author gives completeness theorems for some basic reactive Kripke models and semantics.

UR - https://www.scopus.com/pages/publications/85028772452

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

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

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

AN - SCOPUS:85028772452

T3 - Cognitive Technologies

SP - 119

EP - 167

BT - Cognitive Technologies

PB - Springer Verlag

ER -

Completeness theorems for reactive modal logics

Abstract

Publication series

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this