EMIS ELibM Electronic Journals PUBLICATIONS DE L'INSTITUT MATHÉMATIQUE (BEOGRAD) (N.S.)
Vol. 57(71) (dedicated to Djuro Kurepa), pp. 143--146 (1995)

Previous Article

Next Article

Contents of this Issue

Other Issues


ELibM Journals

ELibM Home

EMIS Home

 

Continuous time probability logic

M. Raskovi\'c, R. Djordjevi\'c

Prirodno-matematicki fakultet, Kragujevac, Yugoslavia

Abstract: 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
© 2001 ELibM for the EMIS Electronic Edition