Skip to Main content Skip to Navigation
Conference papers

Variable free reasoning on finite trees

Abstract : In this paper we examine three modal languages that have been proposed in the model-theoretic syntax literature for describing finite ordered trees. We compare their expressive power, and then examine a key complexity-theoretic issue: how expensive is it to decide --- given a theory specifying a certain class of trees --- whether a formula describes a model? Our main result is that for two of these languages this problem is EXPTIME-complete.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00099716
Contributor : Publications Loria <>
Submitted on : Tuesday, September 26, 2006 - 9:40:35 AM
Last modification on : Friday, February 26, 2021 - 3:28:04 PM

Identifiers

  • HAL Id : inria-00099716, version 1

Collections

Citation

Patrick Blackburn, Bertrand Gaiffe, Maarten Marx. Variable free reasoning on finite trees. Proceedings of Mathematics of Language - MOL-8, Jun 2003, Bloomington, Indiana, USA. ⟨inria-00099716⟩

Share

Metrics

Record views

102