On squares of modal logics with additional connectives

Autor:	Valentin B. Shehtman
Rok vydání:	2011
Předmět:	Predicate logic Discrete mathematics Pure mathematics Mathematics (miscellaneous) Normal modal logic Finite model property Computer Science::Logic in Computer Science Monoidal t-norm logic Diagonal Accessibility relation Modal logic T-norm fuzzy logics Mathematics
Zdroj:	Proceedings of the Steklov Institute of Mathematics. 274:317-325
ISSN:	1531-8605 0081-5438
DOI:	10.1134/s0081543811060204
Popis:	The paper gives an overview of new results on two-dimensional modal logics of special type, “Segerberg squares.” They are defined as usual squares of modal logics with additional connectives corresponding to the diagonal symmetry and two projections onto the diagonal. In many cases these logics are finitely axiomatizable, complete and have the finite model property. Segerberg squares are interpreted in the classical predicate logic.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::88d84f7ba2a1650ee808d5906c0cd011 https://doi.org/10.1134/s0081543811060204 Zobrazit plný text záznamu Full text from SpringerLink