Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees

DOI10.2168/LMCS-8(4:12)2012zbMath1261.03111arXiv1210.2620OpenAlexW2101754569MaRDI QIDQ4899112

Balder ten Cate, Amélie Gheerbrant

Publication date: 7 January 2013

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

treescompleteness theoremEhrenfeucht-Fraïssé gameaxiomatizationHenkin semanticsFeferman-Vaught theoremfragments of MSO

Mathematics Subject Classification ID

Logic in computer science (03B70) Data structures (68P05) Second- and higher-order model theory (03C85)

Related Items (2)

A MODEL-THEORETIC CHARACTERIZATION OF MONADIC SECOND ORDER LOGIC ON INFINITE WORDS ⋮ Unnamed Item

Uses Software

• XPath

This page was built for publication: Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees