information about Semantics of logic field
Field Hierarchy
| Parent | |||
|---|---|---|---|
| Current | |||
Semantics of logic papers | |||
| Child | |||
Type erasure 0 papers | Failure semantics 0 papers | Game semantics 422 papers | Proof-theoretic semantics 355 papers |
Trends
Notes
History
| Parent | |||
|---|---|---|---|
| Current | |||
Semantics of logic papers | |||
| Child | |||
Type erasure 0 papers | Failure semantics 0 papers | Game semantics 422 papers | Proof-theoretic semantics 355 papers |