Mohlo by se vám také líbit

Více informací o knize Advances in Modal Logic Volume 9

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 90 bodů

Anotace knihy

Modal logic is a subject with ancient roots in the western logical tradition. Up until the last few generations, it was pursued mainly as a branch of philosophy. But in recent years, the subject has taken new directions with connections to topics in computer science and mathematics. This volume is the proceedings of the conference of record in its fi eld, Advances in Modal Logic. Its contributions are state-of-the-art papers. The topics include decidability and complexity results for specifi c modal logics, proof theory of modal logic, logics for reasoning about time and space, provability logic, dynamic epistemic logic, and the logic of evidence.

Parametry knihy

Zařazení knihy Knihy v angličtině Mathematics & science Mathematics Mathematical foundations

• Plný název: Advances in Modal Logic Volume 9
• Autor: Thomas Bolander, Torben Brauner, Silvio Ghilardi
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 592
• EAN: 9781848900684
• ISBN: 9781848900684
• ID: 08853863
• Nakladatelství: College Publications
• Hmotnost: 884 g
• Rozměry: 234 × 156 × 33 mm
• Datum vydání: 25. June 2012

Oblíbené z jiného soudku

---

---

---