information about Kripke semantics field
Field Hierarchy
Parent | |||
---|---|---|---|
Computer science 62.7M papers | Chemistry 29.4M papers | Materials science 18.9M papers | Artificial intelligence 11.8M papers |
Composite material 8.8M papers | Programming language 7.7M papers | Polymer chemistry 1.1M papers | Theoretical computer science 625k papers |
Modal 99.2k papers | Description logic 20.5k papers | ||
Current | |||
Kripke semantics 1,306 papers | |||
Child | |||
Classical modal logic 0 papers | Neighborhood semantics 0 papers | Kripke frame 0 papers |
Trends
Notes
History