Definability Over the Class of all Partitions
type: Item
instance of: scholarly article
title: Definability Over the Class of all Partitions
zbMATH Open document ID: 1116.03015
author: Philippe Balbiani
author: Tinko Tinchev
publication date: 2007-04-13T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B25
zbMATH DE Number: 5142576
zbMATH Keywords: modal definability
zbMATH Keywords: first-order definability
zbMATH Keywords: decidability
zbMATH Keywords: complexity
MaRDI profile type: Publication
full work available at URL: exl024
OpenAlex ID: W2100106604
DOI: 10.1093/LOGCOM/EXL024
published in: Journal Of Logic And Computation
description: scientific article