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

D Gabbay; V Shehtman

doi:10.1023/A:1021304426509

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

D Gabbay, V Shehtman

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

12 Citations (Scopus)

Abstract

For pt.2. see Logic Journal of the IGPL, vol. 8, p.165-210 (2000). In this paper we improve the results of part 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 part 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. (8 References).

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
Publication status	Published - 2002

Access to Document

10.1023/A:1021304426509

Cite this

@article{a055d3f6ae204a688e5aeca0d8b9a9ae,

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

abstract = "For pt.2. see Logic Journal of the IGPL, vol. 8, p.165-210 (2000). In this paper we improve the results of part 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 part 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. (8 References).",

author = "D Gabbay and V Shehtman",

year = "2002",

doi = "10.1023/A:1021304426509",

language = "English",

volume = "72",

pages = "157 -- 183",

journal = "Studia Logica",

publisher = "Springer Netherlands",

number = "2",

}

TY - JOUR

T1 - Products of modal logics Part 3: Products of modal and temporal logics

AU - Gabbay, D

AU - Shehtman, V

PY - 2002

Y1 - 2002

N2 - For pt.2. see Logic Journal of the IGPL, vol. 8, p.165-210 (2000). In this paper we improve the results of part 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 part 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. (8 References).

AB - For pt.2. see Logic Journal of the IGPL, vol. 8, p.165-210 (2000). In this paper we improve the results of part 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 part 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. (8 References).

U2 - 10.1023/A:1021304426509

DO - 10.1023/A:1021304426509

M3 - Article

VL - 72

SP - 157

EP - 183

JO - Studia Logica

JF - Studia Logica

IS - 2

ER -