An elementary construction for a non-elementary procedure
type: Item
instance of: scholarly article
title: An elementary construction for a non-elementary procedure
zbMATH Open document ID: 1010.03014
DOI: 10.1023/A:1021312628326
author: Maarten Marx
author: Szabolcs Mikulás
published in: Studia Logica
publication date: 2003-03-12T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B25
zbMATH DE Number: 1880458
zbMATH Keywords: modal logic
zbMATH Keywords: product of modal logics
zbMATH Keywords: finite model property
zbMATH Keywords: decidability
MaRDI profile type: Publication
full work available at URL: a:1021312628326
OpenAlex ID: W1592338896
description: scientific article; zbMATH DE number 1880458