Computability of validity and satisfiability in probability logics over finite and countable models (Q4586148)
From MaRDI portal
scientific article; zbMATH DE number 6935522
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computability of validity and satisfiability in probability logics over finite and countable models |
scientific article; zbMATH DE number 6935522 |
Statements
Computability of validity and satisfiability in probability logics over finite and countable models (English)
0 references
12 September 2018
0 references
