1 Ebooks von François Schwarzentruber
Olivier Gasquet & Andreas Herzig: Kripke’s Worlds
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 …
PDF
Englisch
€90.94