scientific article; zbMATH DE number 940714

MaRDI QIDQ4714224zbMATH OpenFDO

Authors Miodrag Rašković, Radoslav S. Djordjević

Publication date 24 November 1996

Full work available at URL https://eudml.org/doc/119001, http://www.emis.de/journals/PIMB/071/15.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

compactnesscompletenesscontinuous time probability logiccontinuous time probability measures

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Logic with extra quantifiers and operators (03C80) Logic on admissible sets (03C70)

Recommendations

• Probability logic
• Probability logic
• Probabilistic duration calculus for continuous time
• Probability logics
• Probabilistic Temporal Logics
• scientific article; zbMATH DE number 4211134
• Probabilistic logic
• Probabilistic logic for reasoning about actions in time
• A logic for reasoning about probabilities
• scientific article; zbMATH DE number 988760

Cited in

(2)

• On the metric temporal logic for continuous stochastic processes
• A completeness proof for adapted probability logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4714224)