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/