Kripke structure

https://www.wikidata.org/wiki/Q1077740

Field Hierarchy

Parent
Computer science 54.8M papers	Mathematics 21.1M papers	Philosophy 20.3M papers	Programming language 7.2M papers
Epistemology 5.4M papers	Algorithm 4.5M papers	Theoretical computer science 615k papers	Model checking 19.9k papers
Temporal logic 6,546 papers
Current
Kripke structure 669 papers
Child

Trends

Notes

History