Development and verification of probability...
URL: https://theses.hal.science/tel-00907854
Dataset description:
We introduce a Probability Logic with Conditional Operators - LPCP, its syntax, semantics, and a sound and strongly-complete axiomatic system, featuring an infinitary inference...
Source: Development and verification of probability logics and logical frameworks
There are no views created for this resource yet.
Additional Information
| Field | Value |
|---|---|
| Data last updated | unknown |
| Metadata last updated | May 7, 2026 |
| Created | unknown |
| Format | HTML |
| License | https://about.hal.science/hal-authorisation-v1/, info:eu-repo/semantics/OpenAccess |
| Created | 6 months ago |
| Id | aadbe4ed-1bdf-457d-a958-43e5d38ff661 |
| Package id | oai-hal-tel-00907854v3 |
| Resource type | HTML |
| State | active |
