Kripkes Worlds: An Introduction to Modal Logics via Tableaux by Olivier Gasquet
105,40 €
Kripkes Worlds. by Olivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber. Possible world models were introduced by Saul Kripke in the early 1960s. Basically, a possible worlds model is nothing but a graph with labelled nodes and labelled edges.
Jetzt bei Ebay:
