Find link

language:

Find link is a tool written by Edward Betts.

searching for Kripke semantics 4 found (52 total)

Japaridze's polymodal logic (1,202 words) [view diff] exact match in snippet view article find links to article

Logic and Computation 15 (2005), No 4, pp. 447–463. L. Beklemishev, "Kripke semantics for provability logic GLP". Annals of Pure and Applied Logic 161, 756–774

Rigid designator (1,205 words) [view diff] exact match in snippet view article find links to article

passed it onto their friends, and so on. One puzzling consequence of Kripke semantics is that identities involving rigid designators are necessary. If water

Dynamic logic (modal logic) (5,118 words) [view diff] exact match in snippet view article

Those logics however made no connection with either modal logic, Kripke semantics, regular expressions, or the calculus of binary relations. Dynamic

Natural deduction (6,972 words) [view diff] exact match in snippet view article find links to article

worlds in Kripke semantics; Simpson (1994) presents an influential technique for converting frame conditions of modal logics in Kripke semantics into inference