Ticket Entailment is decidable (Q4925031)
From MaRDI portal
scientific article; zbMATH DE number 6173954
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Ticket Entailment is decidable |
scientific article; zbMATH DE number 6173954 |
Statements
Ticket Entailment is decidable (English)
0 references
11 June 2013
0 references
decidability
0 references
\(T_{\to}\)
0 references
ticket entailment
0 references
\(\mathrm{BB}^\prime\mathrm{IW}\) logic
0 references
