𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Counting on CTL*: on the expressive power of monadic path logic

✍ Scribed by Faron Moller; Alexander Rabinovich

Book ID
114273394
Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
141 KB
Volume
184
Category
Article
ISSN
0890-5401

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

On random models of finite power and mon
On random models of finite power and monadic logic
✍ Matt Kaufmann; Saharon Shelah πŸ“‚ Article πŸ“… 1985 πŸ› Elsevier Science 🌐 English βš– 619 KB

For any property d~ of a model (or graph), let ~n(&) be the fraction of models of power n which satisfy &, and let ~(d~) = lim~\_\_~ Izn(d)) if this limit exists. For first-order properties &, it is known that ~(&) must be 0 or 1. We answer a question of K. Compton by proving in a strong way that th