thinker
active
thinker:saul-kripkeSaul Kripke
Introduced Kripke semantics for modal logic (1963).
Authored
0
Introduces
0
Studies
0
Affiliations
0
Cited by
0
More papers — OpenAlex / S2
Other inbound relations (1)
- authoredInformation, Processes and Games(paper)
Recent mentions (1)
- papers-typed2021-10-18_Prabros._1604.02603.pdf_6f9f31.md