Axiomatization of modal logic squares with distinguished diagonal
type: Item
instance of: scholarly article
title: Axiomatization of modal logic squares with distinguished diagonal
zbMATH Open document ID: 1248.03035
DOI: 10.1134/S0001434610070229
author: S. P. Kikot'
published in: Mathematical Notes
publication date: 2011-11-25T00:00:00Z
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 5980666
zbMATH Keywords: square of a Kripke frame
zbMATH Keywords: square of a modal logic
zbMATH Keywords: axiomatizability
zbMATH Keywords: products of modal logics
zbMATH Keywords: generalized Sahlquist formula
MaRDI profile type: Publication
cites work: Many-dimensional modal logics: theory and applications
cites work: Relation algebras by games
cites work: Multi-dimensional modal logic
cites work: Cylindric modal logic
cites work: Cylindric algebras. Part II
cites work: A Modal Logic for Chopping Intervals
cites work: Q3085168
cites work: Modal logic
cites work: Products of Modal Logics with Diagonal Constant Lacking the Finite Model Property
cites work: Two-dimensional modal logic
full work available at URL: s0001434610070229
OpenAlex ID: W1975172181
description: scientific article; zbMATH DE number 5980666