Dataset - CKAN

Development and verification of probability logics and logical frameworks

We introduce a Probability Logic with Conditional Operators - LPCP, its syntax, semantics, and a sound and strongly-complete axiomatic system, featuring an infinitary...
- HTML

You can also access this registry using the API (see API Docs).