Semantics for "enough-certainty" and fitting's embedding of classical logic in S4 (Q5278422)
From MaRDI portal
scientific article; zbMATH DE number 6748883
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Semantics for "enough-certainty" and fitting's embedding of classical logic in S4 |
scientific article; zbMATH DE number 6748883 |
Statements
19 July 2017
0 references
first-order logic
0 references
possible-worlds semantics
0 references
Fitting embedding
0 references
asymptotic probabilities
0 references
verification of complexity-theoretic properties
0 references
Semantics for "enough-certainty" and fitting's embedding of classical logic in S4 (English)
0 references
