Mohlo by sa vám tiež páčiť

Viac informácií o knihe Kripke's Worlds

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 231 bodov

Anotácia knihy

Possible worlds models have been defined by Saul Kripke in the early 60ies. They provide semantics for various modal logics such as temporal logics, logics of knowledge and belief, logics of action, logics of obligation, as well as for description logics. They also give semantics for other nonclassical logics such as intuitionistic logics, conditional logics, and several paraconsistent and relevant logics. These logics have been studied intensively in philosophical and mathematical logic and in computer science, and have been applied increasingly in various domains such as program semantics, artificial intelligence, and more recently in the semantic web. For almost all of these logics there exist semantic tableaux proof systems which for a given formula allow to check whether it has a model. The present book contains a step-by-step introduction to possible worlds semantics and modal and other nonclassical logics. It is accompanied by a piece of software that allows to build models, to check whether a given formula is true in a model, and to check whether a given formula is valid in a given logic. Beyond working with existing tableaux systems, the program also allows to implement tableau systems for new logics by means of a simple interactive graph-based language accessible to readers that are not computer scientists.

Parametre knihy

Zaradenie knihy Knihy po anglicky Mathematics & science Mathematics Mathematical foundations

• Celý názov: Kripke's Worlds
• Autor: Bilal Said, Olivier Gasquet, Andreas Herzig, Francois Schwarzentruber
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 198
• EAN: 9783764385033
• ISBN: 3764385030
• ID: 05289235
• Nakladateľ: Birkhauser Verlag AG
• Hmotnosť: 370 g
• Rozmery: 169 × 242 × 11 mm
• Dátum vydania: 09. December 2013

Obľúbené z iného súdka

---

---

---