Olivier Gasquet – författare
Visar alla böcker från författaren Olivier Gasquet. Handla med fri frakt och snabb leverans.
2 produkter
Kripke’s Worlds
An Introduction to Modal Logics via Tableaux
Av Olivier Gasquet, Andreas Herzig m. fl.
Häftad, 2013
933 kr
Lägg i varukorg
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 semantics for various modal logics (alethic, temporal, epistemic and doxastic, dynamic, deontic, …
Kripke's Worlds
An Introduction to Modal Logics via Tableaux
Av Francois Schwarzentruber, Bilal Said m. fl.
E-bok, 2013
1188 kr
Lägg i varukorg
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 semantics for various modal logics (alethic, temporal, epistemic and doxastic, dynamic, deontic, …
