1 Ebooks by Bilal Said
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
English
€90.94