PUBLICATIONS DE L'INSTITUT MATHÉMATIQUE (BEOGRAD) (N.S.)Vol. 57(71) (dedicated to Djuro Kurepa), pp. 143--146 (1995)
|
|
PUBLICATIONS DE L'INSTITUT MATHÉMATIQUE (BEOGRAD) (N.S.) Vol. 57(71) (dedicated to Djuro Kurepa), pp. 143--146 (1995) |
|
|
Continuous time probability logicM. Raskovi\'c, R. Djordjevi\'cPrirodno-matematicki fakultet, Kragujevac, YugoslaviaAbstract: Continuous time probability logic $L^t_{\Cal AP}$ is a logic appropriate for the study of space with a family of continuous time probability measures. We prove the completeness theorem for the logic $L^t_{\Cal AP}$ for both continuous and uniformly continuous cases. Also, we prove the finite compactness theorem for universal conjunctive formulas of $L^t_{\Cal AP}$. Classification (MSC2000): 03C70 Full text of the article:
Electronic fulltext finalized on: 1 Nov 2001. This page was last modified: 16 Nov 2001.
© 2001 Mathematical Institute of the Serbian Academy of Science and Arts
|