Products of modal logics. Part 3: Products of modal and temporal logics

Dov Gabbay; Valentin Shehtman

doi:10.1023/a:1021304426509

Products of modal logics. Part 3: Products of modal and temporal logics

Dov Gabbay
, Valentin Shehtman

King's College London
Russian Academy of Sciences

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

12 Scopus citations

Abstract

In this paper we improve the results of [2] by proving the product f.m.p. for the product of minimal n-modal and minimal n-temporal logic. For this case we modify the finite depth method introduced in [1]. The main result is applied to identify new fragments of classical first-order logic and of the equational theory of relation algebras, that are decidable and have the finite model property.

Original language	English
Pages (from-to)	157-183
Number of pages	27
Journal	Studia Logica
Volume	72
Issue number	2
DOIs	https://doi.org/10.1023/a:1021304426509
State	Published - 2002
Externally published	Yes

Keywords

Classical first-order logic
Decidability
Finite depth method
Finite model property
Product finite model property
Product of modal logics
Relation algebra
Temporal logic

Access to Document

10.1023/a:1021304426509

Cite this

@article{3cec0531fe7f4270b80da28c52b0cc7d,

title = "Products of modal logics. Part 3: Products of modal and temporal logics",

abstract = "In this paper we improve the results of [2] by proving the product f.m.p. for the product of minimal n-modal and minimal n-temporal logic. For this case we modify the finite depth method introduced in [1]. The main result is applied to identify new fragments of classical first-order logic and of the equational theory of relation algebras, that are decidable and have the finite model property.",

keywords = "Classical first-order logic, Decidability, Finite depth method, Finite model property, Product finite model property, Product of modal logics, Relation algebra, Temporal logic",

author = "Dov Gabbay and Valentin Shehtman",

year = "2002",

doi = "10.1023/a:1021304426509",

language = "אנגלית",

volume = "72",

pages = "157--183",

journal = "Studia Logica",

issn = "0039-3215",

publisher = "Springer Netherlands",

number = "2",

}

TY - JOUR

T1 - Products of modal logics. Part 3

T2 - Products of modal and temporal logics

AU - Gabbay, Dov

AU - Shehtman, Valentin

PY - 2002

Y1 - 2002

N2 - In this paper we improve the results of [2] by proving the product f.m.p. for the product of minimal n-modal and minimal n-temporal logic. For this case we modify the finite depth method introduced in [1]. The main result is applied to identify new fragments of classical first-order logic and of the equational theory of relation algebras, that are decidable and have the finite model property.

AB - In this paper we improve the results of [2] by proving the product f.m.p. for the product of minimal n-modal and minimal n-temporal logic. For this case we modify the finite depth method introduced in [1]. The main result is applied to identify new fragments of classical first-order logic and of the equational theory of relation algebras, that are decidable and have the finite model property.

KW - Classical first-order logic

KW - Decidability

KW - Finite depth method

KW - Finite model property

KW - Product finite model property

KW - Product of modal logics

KW - Relation algebra

KW - Temporal logic

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

U2 - 10.1023/a:1021304426509

DO - 10.1023/a:1021304426509

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

AN - SCOPUS:23944482833

SN - 0039-3215

VL - 72

SP - 157

EP - 183

JO - Studia Logica

JF - Studia Logica

IS - 2

ER -

Products of modal logics. Part 3: Products of modal and temporal logics

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this