Autor:	Valentin B. Shehtman, Dov M. Gabbay
Rok vydání:	2002
Předmět:	Algebra Discrete mathematics History and Philosophy of Science Logic Normal modal logic Classical logic Accessibility relation Multimodal logic Modal μ-calculus Modal logic Intermediate logic T-norm fuzzy logics Mathematics
Zdroj:	Studia Logica. 72:157-183
ISSN:	0039-3215
DOI:	10.1023/a:1021304426509
Popis:	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.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::baefb194ddffd937fb39bdebf549b5a4 https://doi.org/10.1023/a:1021304426509 Zobrazit plný text záznamu Full text from SpringerLink