作者: François Schwarzentruber

Possible worlds models were introduced by Saul Kripke in the early 1960s. Basically, a possible world’s model is nothing but a graph with labelled nodes and labelled edges. Such graphs provide semant …