Expressive completeness failure in branching time structures

Research output: Contribution to journalArticlepeer-review

4 Scopus citations


A propositional logic is expressively complete if there is a finite set of connectives which define all truth tables. Kamp, Stavi, and Gabbay proved that all tense logics over linear time are expressively complete. Amir and Gabbay brought examples of expressively complete non-linear time structures. Gabbay showed that the general time structure is not expressively complete. Here we narrow the gap and prove that for branching time, if the model is an infinite tree with an unbounded branching factor then there is no expressive completeness.

Original languageEnglish
Pages (from-to)27-42
Number of pages16
JournalJournal of Computer and System Sciences
Issue number1
StatePublished - Feb 1987
Externally publishedYes


Dive into the research topics of 'Expressive completeness failure in branching time structures'. Together they form a unique fingerprint.

Cite this