# The Leading eBooks Store Online

## for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, BlackBerry...

#### Kripke’s Worlds

Springer 2013; US$ 69.99Possible 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, description logics) and also turned out useful for other nonclassical... more...

#### Aristotle's Modal Proofs

Springer 2010; US$ 179.00Aristotle's modal syllogistic is his study of patterns of reasoning about necessity and possibility. Many scholars think the modal syllogistic is incoherent, a 'realm of darkness'. Others think it is coherent, but devise complicated formal modellings to mimic Aristotle's results. This volume provides a simple interpretation of Aristotle's... more...

#### Many-Dimensional Modal Logics

Elsevier Science 2003; US$ 225.00Modal logics, originally conceived in philosophy, have recently found many applications in computer science, artificial intelligence, the foundations of mathematics, linguistics and other disciplines. Celebrated for their good computational behaviour, modal logics are used as effective formalisms for talking about time, space, knowledge, beliefs, actions,... more...

#### Intensional Mathematics

Elsevier Science 1985; US$ 72.95``Platonism and intuitionism are rival philosophies of Mathematics, the former holding that the subject matter of mathematics consists of abstract objects whose existence is independent of the mathematician, the latter that the subject matter consists of mental construction... both views are implicitly opposed to materialistic accounts of mathematics... more...

- 1
- Page