Decidability results in non-classical logic. III - Systems with statability operators

Dov M. Gabbay

doi:10.1007/BF02771564

Decidability results in non-classical logic. III - Systems with statability operators

Dov M. Gabbay

Hebrew University of Jerusalem

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

1 Scopus citations

Abstract

A Kripke type semantics is given to a large class of tense logics with statability operators (including Priors QK_t) in such a manner as to obtain their decidability using Rabin's theorem.

Original language	English
Pages (from-to)	135-146
Number of pages	12
Journal	Israel Journal of Mathematics
Volume	10
Issue number	2
DOIs	https://doi.org/10.1007/BF02771564
State	Published - Jun 1971
Externally published	Yes

Access to Document

10.1007/BF02771564

Cite this

@article{7f99a705f2344118976eb252b8cb4dc0,

title = "Decidability results in non-classical logic. III - Systems with statability operators",

abstract = "A Kripke type semantics is given to a large class of tense logics with statability operators (including Priors QK t) in such a manner as to obtain their decidability using Rabin's theorem.",

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

year = "1971",

month = jun,

doi = "10.1007/BF02771564",

language = "אנגלית",

volume = "10",

pages = "135--146",

journal = "Israel Journal of Mathematics",

issn = "0021-2172",

publisher = "Springer New York",

number = "2",

}

TY - JOUR

T1 - Decidability results in non-classical logic. III - Systems with statability operators

AU - Gabbay, Dov M.

PY - 1971/6

Y1 - 1971/6

N2 - A Kripke type semantics is given to a large class of tense logics with statability operators (including Priors QK t) in such a manner as to obtain their decidability using Rabin's theorem.

AB - A Kripke type semantics is given to a large class of tense logics with statability operators (including Priors QK t) in such a manner as to obtain their decidability using Rabin's theorem.

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

U2 - 10.1007/BF02771564

DO - 10.1007/BF02771564

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

AN - SCOPUS:51649185142

SN - 0021-2172

VL - 10

SP - 135

EP - 146

JO - Israel Journal of Mathematics

JF - Israel Journal of Mathematics

IS - 2

ER -

Decidability results in non-classical logic. III - Systems with statability operators

Abstract

Access to Document

Other files and links

Fingerprint

Cite this