Zero-one law for an extension of first-order predicate language
- 1 January 1990
- journal article
- Published by Springer Nature in Cybernetics and Systems Analysis
- Vol. 26 (2) , 292-296
- https://doi.org/10.1007/bf01068621
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- A zero-one law for logic with a fixed-point operatorInformation and Control, 1985
- Probabilities on finite modelsThe Journal of Symbolic Logic, 1976