Sequent calculus for propositional likelihood logic (Q3607556)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5521791
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Sequent calculus for propositional likelihood logic |
scientific article; zbMATH DE number 5521791 |
Statements
2 March 2009
0 references
modal operators
0 references
logic of likelihood
0 references
protocol verification
0 references
sequent calculus
0 references
admissibility of structural rules
0 references
0.8576100468635559
0 references
0.8170987963676453
0 references
0.7906091809272766
0 references
0.7479198575019836
0 references
0.7452285289764404
0 references
