Q5376645
type: Item
instance of: scholarly article
zbMATH Open document ID: 1439.03044
DOI: 10.23638/LMCS-15(1:30)2019
author: Sebastian Enqvist
author: Yde Venema
publication date: 2019-05-17T00:00:00Z
full work available at URL: https://arxiv.org/abs/1710.10706
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68Q70
zbMATH DE Number: 7056218
zbMATH Keywords: modal logic
zbMATH Keywords: fixpoint logic
zbMATH Keywords: automata
zbMATH Keywords: coalgebra
zbMATH Keywords: graded modal logic
zbMATH Keywords: Lyndon theorem
zbMATH Keywords: uniform interpolation
zbMATH Keywords: expressive completeness
MaRDI profile type: Publication
arXiv ID: 1710.10706
description: scientific article; zbMATH DE number 7056218