S.M. Sadjadi, S. Chen, et al.
TAPIA 2009
We investigate the infinitary logic L∞ωω, in which sentences may have arbitrary disjunctions and conjunctions, but they involve only finite numbers of distinct variables. We show that various fixpoint logics can be viewed as fragments of L∞ωω, and we describe a game-theoretic characterization of the expressive power of the logic. Finally, we study asymptotic probabilities of properties expressible in L∞ωω on finite structures. We show that the 0-1 law holds for L∞ωω, i.e., the asymptotic probability of every sentence in this logic exists and is equal to either 0 or 1. This result subsumes earlier work on asymptotic probabilities for various fixpoint logics and reveals the boundary of 0-1 laws for infinitary logics. © 1992.
S.M. Sadjadi, S. Chen, et al.
TAPIA 2009
Indranil R. Bardhan, Sugato Bagchi, et al.
JMIS
Liqun Chen, Matthias Enzmann, et al.
FC 2005
Fan Jing Meng, Ying Huang, et al.
ICEBE 2007