Second-order logic on equivalence relations

DOI10.3166/jancl.18.229-246zbMath1181.03004OpenAlexW2028671435MaRDI QIDQ3643314

No author found.

Publication date: 11 November 2009

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/jancl.18.229-246

zbMATH Keywords

pebble gamesequivalence relations in local agreementmonadic second-order extension

Mathematics Subject Classification ID

Related Items (1)

Modal definability: two commuting equivalence relations

Cites Work

• Definability Over the Class of all Partitions
• Unnamed Item

This page was built for publication: Second-order logic on equivalence relations