On the existence of a modal-logical basis for monadic second-order logic

DOI10.1093/logcom/exs001zbMath1272.03065OpenAlexW2160568449MaRDI QIDQ4914416

Lauri Hella, Tero Tulenheimo

Publication date: 19 April 2013

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/ba347a0b7e2653e0b8d61c65f623382e0f224d37

zbMATH Keywords

expressive completenessmonadic second-order logicregular language\(k\)-dimensional modal logicword model

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Automata and formal grammars in connection with logical questions (03D05)

This page was built for publication: On the existence of a modal-logical basis for monadic second-order logic