On decidable, finitely axiomatizable, modal and tense logics without the finite model property Part II

Dov M. Gabbay

doi:10.1007/BF02771737

On decidable, finitely axiomatizable, modal and tense logics without the finite model property Part II

Dov M. Gabbay

Hebrew University of Jerusalem
Stanford University

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

3 Scopus citations

Abstract

This paper is a continuation of Part I. A decidable extension of model K4 that lacks the finite model property is described. It is not known whether there are extensions of B that are decidable and lack the finite model property.

Original language	English
Pages (from-to)	496-503
Number of pages	8
Journal	Israel Journal of Mathematics
Volume	10
Issue number	4
DOIs	https://doi.org/10.1007/BF02771737
State	Published - Dec 1971
Externally published	Yes

Access to Document

10.1007/BF02771737

Cite this

@article{d93f2933e7d241d8b1b3c1e336dc52f7,

title = "On decidable, finitely axiomatizable, modal and tense logics without the finite model property Part II",

abstract = "This paper is a continuation of Part I. A decidable extension of model K4 that lacks the finite model property is described. It is not known whether there are extensions of B that are decidable and lack the finite model property.",

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

year = "1971",

month = dec,

doi = "10.1007/BF02771737",

language = "אנגלית",

volume = "10",

pages = "496--503",

journal = "Israel Journal of Mathematics",

issn = "0021-2172",

publisher = "Springer New York",

number = "4",

}

TY - JOUR

T1 - On decidable, finitely axiomatizable, modal and tense logics without the finite model property Part II

AU - Gabbay, Dov M.

PY - 1971/12

Y1 - 1971/12

N2 - This paper is a continuation of Part I. A decidable extension of model K4 that lacks the finite model property is described. It is not known whether there are extensions of B that are decidable and lack the finite model property.

AB - This paper is a continuation of Part I. A decidable extension of model K4 that lacks the finite model property is described. It is not known whether there are extensions of B that are decidable and lack the finite model property.

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

U2 - 10.1007/BF02771737

DO - 10.1007/BF02771737

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

AN - SCOPUS:51649182505

SN - 0021-2172

VL - 10

SP - 496

EP - 503

JO - Israel Journal of Mathematics

JF - Israel Journal of Mathematics

IS - 4

ER -

On decidable, finitely axiomatizable, modal and tense logics without the finite model property Part II

Abstract

Access to Document

Other files and links

Fingerprint

Cite this