Kripke semantics

E1097302 UNEXPLORED

Kripke semantics is a framework in modal and non-classical logic that interprets formulas via possible worlds and accessibility relations to model notions like necessity, possibility, and intuitionistic truth.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (2)

Label	Occurrences
Kripke semantics canonical	1
Kripkean semantics	1

Referenced by (2)

Full triples — surface form annotated when it differs from this entity's canonical label.

An Introduction to Non-Classical Logic → covers → Kripke semantics ⓘ

Hooded man paradox → isRelatedTo → Kripke semantics ⓘ

this entity surface form: Kripkean semantics