Probability functions and their assumption sets — the singulary case Hugues Leblanc OriginalPaper Pages: 379 - 402
The finite model property and recursive bounds on the size of countermodels Dolph Ulrich OriginalPaper Pages: 477 - 480