Geodesic
Continuous Time Probability Logic
Publications de l'Institut Mathématique, _N_S_57 (1995) no. 71, p. 143 .

Voir la notice de l'article provenant de la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts

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 : 03C70 
@article{PIM_1995_N_S_57_71_a14,
     author = {Miodrag Ra\v{s}kovi\'c and Radosav {\DJ}or{\dj}evi\'c},
     title = {Continuous {Time} {Probability} {Logic}},
     journal = {Publications de l'Institut Math\'ematique},
     pages = {143 },
     publisher = {mathdoc},
     volume = {_N_S_57},
     number = {71},
     year = {1995},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/PIM_1995_N_S_57_71_a14/}
}
TY  - JOUR
AU  - Miodrag Rašković
AU  - Radosav Đorđević
TI  - Continuous Time Probability Logic
JO  - Publications de l'Institut Mathématique
PY  - 1995
SP  - 143 
VL  - _N_S_57
IS  - 71
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PIM_1995_N_S_57_71_a14/
LA  - en
ID  - PIM_1995_N_S_57_71_a14
ER  - 
%0 Journal Article
%A Miodrag Rašković
%A Radosav Đorđević
%T Continuous Time Probability Logic
%J Publications de l'Institut Mathématique
%D 1995
%P 143 
%V _N_S_57
%N 71
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PIM_1995_N_S_57_71_a14/
%G en
%F PIM_1995_N_S_57_71_a14
Miodrag Rašković; Radosav Đorđević. Continuous Time Probability Logic. Publications de l'Institut Mathématique, _N_S_57 (1995) no. 71, p. 143 . http://geodesic.mathdoc.fr/item/PIM_1995_N_S_57_71_a14/