Cluster expansion and the boxdot conjecture

Number of the records: 1

1.

SYSNO ASEP	0468171
Document Type	J - Journal Article
R&D Document Type	Journal Article
Subsidiary J	Článek ve WOS
Title	Cluster expansion and the boxdot conjecture
Author(s)	Jeřábek, Emil (MU-W)_{RID, SAI, ORCID}
Source Title	Mathematical Logic Quarterly. - : Wiley - ISSN 0942-5616 Roč. 62, č. 6 (2016), s. 608-614
Number of pages	7 s.
Language	eng - English
Country	DE - Germany
Keywords	modal logic ; boxdot translation ; cluster expansion
Subject RIV	BA - General Mathematics
R&D Projects	IAA100190902 GA AV ČR - Academy of Sciences of the Czech Republic (AV ČR)
	GBP202/12/G061 GA ČR - Czech Science Foundation (CSF)
Institutional support	MU-W - RVO:67985840
UT WOS	000392019300012
EID SCOPUS	85004025709
DOI	10.1002/malq.201600036
Annotation	The boxdot conjecture asserts that every normal modal logic that faithfully interprets T by the well-known boxdot translation is in fact included in T. We confirm that the conjecture is true. More generally, we present a simple semantic condition on modal logics L_0 which ensures that the largest logic where L_0 embeds faithfully by the boxdot translation is L_0 itself. In particular, this natural generalization of the boxdot conjecture holds for S4, S5, and KTB in place of T.
Workplace	Mathematical Institute
Contact	Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757
Year of Publishing	2017

Number of the records: 1