Completeness theorems for reactive modal logics

Dov Gabbay

doi:10.1007/s10472-012-9315-9

Completeness theorems for reactive modal logics

Dov Gabbay

Department of Computer Science

Research output: Contribution to journal › Article › peer-review

4 Scopus citations

Original language	English
Pages (from-to)	81-129
Number of pages	49
Journal	Annals of Mathematics and Artificial Intelligence
Volume	66
Issue number	1
DOIs	https://doi.org/10.1007/s10472-012-9315-9
State	Published - Dec 2012

Keywords

Modal logic
Temporal logic

Access to Document

10.1007/s10472-012-9315-9

Cite this

@article{45fa416e0a444baab2000d46d9b95ea9,

title = "Completeness theorems for reactive modal logics",

keywords = "Modal logic, Temporal logic",

author = "Dov Gabbay",

year = "2012",

month = dec,

doi = "10.1007/s10472-012-9315-9",

language = "אנגלית",

volume = "66",

pages = "81--129",

journal = "Annals of Mathematics and Artificial Intelligence",

issn = "1012-2443",

publisher = "Springer Netherlands",

number = "1",

}

TY - JOUR

T1 - Completeness theorems for reactive modal logics

AU - Gabbay, Dov

PY - 2012/12

Y1 - 2012/12

KW - Modal logic

KW - Temporal logic

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

U2 - 10.1007/s10472-012-9315-9

DO - 10.1007/s10472-012-9315-9

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:84871238096

SN - 1012-2443

VL - 66

SP - 81

EP - 129

JO - Annals of Mathematics and Artificial Intelligence

JF - Annals of Mathematics and Artificial Intelligence

IS - 1

ER -

Completeness theorems for reactive modal logics

Keywords

Access to Document

Other files and links

Cite this