Autor: Bilal Said

Wsparcie

1 Ebooki wg 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
Angielski
€90.94