scientific article; zbMATH DE number 7056218

DOI10.23638/LMCS-15(1:30)2019zbMath1439.03044arXiv1710.10706MaRDI QIDQ5376645

Sebastian Enqvist, Yde Venema

Publication date: 17 May 2019

Full work available at URL: https://arxiv.org/abs/1710.10706

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

modal logicexpressive completenesscoalgebraautomatauniform interpolationfixpoint logicgraded modal logicLyndon theorem

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Algebraic theory of languages and automata (68Q70)

This page was built for publication: