Finite \(H\)-dimension does not imply expressive completeness

DOI10.1007/BF01049409zbMath0811.03027MaRDI QIDQ1337512

I. M. Hodkinson

Publication date: 9 November 1994

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

expressive completenessmonadic predicates\(H\)-dimensionfirst-order structuresmonadic first-order language

Mathematics Subject Classification ID

Basic properties of first-order languages and structures (03C07)

Related Items (4)

The \(k\)-variable property is stronger than H-dimension \(k\) ⋮ Unnamed Item ⋮ Modal languages and bounded fragments of predicate logic ⋮ Axiomatisation and decidability of \(F\) and \(P\) in cyclical time

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The \(k\)-variable property is stronger than H-dimension \(k\)
• Definability with bounded number of bound variables
• Preservation of expressive completeness in temporal models
• Model theory.
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.
• Axiomatisation and decidability of \(F\) and \(P\) in cyclical time
• Expressiveness and completeness of an interval tense logic
• Expressive completeness of temporal logic of trees
• Separation in nonlinear time models

This page was built for publication: Finite \(H\)-dimension does not imply expressive completeness