Автор: Cresswell, M.J. Название: A New Introduction to Modal Logic ISBN: 0415126002 ISBN-13(EAN): 9780415126007 Издательство: Taylor&Francis Рейтинг: Цена: 45930.00 T Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Eric Pacuit Название: Neighborhood Semantics for Modal Logic ISBN: 3319671480 ISBN-13(EAN): 9783319671482 Издательство: Springer Рейтинг: Цена: 30740.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book offers a state-of-the-art introduction to the basic techniques and results of neighborhood semantics for modal logic. as a supplemental text for courses on modal logic, logic in AI, or philosophical logic (either at the undergraduate or graduate level);
Автор: Johannes Stern Название: Toward Predicate Approaches to Modality ISBN: 3319225561 ISBN-13(EAN): 9783319225562 Издательство: Springer Рейтинг: Цена: 79170.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Toward Predicate Approaches to Modality
Автор: Guram Bezhanishvili Название: Leo Esakia on Duality in Modal and Intuitionistic Logics ISBN: 9402403388 ISBN-13(EAN): 9789402403381 Издательство: Springer Рейтинг: Цена: 139750.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
This volume is dedicated to Leo Esakia's contributions to the theory of modal and intuitionistic systems. Consisting of 10 chapters, written by leading experts, this volume discusses Esakia's original contributions and consequent developments that have helped to shape duality theory for modal and intuitionistic logics and to utilize it to obtain some major results in the area.
Beginning with a chapter which explores Esakia duality for S4-algebras, the volume goes on to explore Esakia duality for Heyting algebras and its generalizations to weak Heyting algebras and implicative semilattices. The book also dives into the Blok-Esakia theorem and provides an outline of the intuitionistic modal logic KM which is closely related to the G del-L b provability logic GL. One chapter scrutinizes Esakia's work interpreting modal diamond as the derivative of a topological space within the setting of point-free topology. The final chapter in the volume is dedicated to the derivational semantics of modal logic and other related issues.
Автор: Maarten Marx; Yde Venema Название: Multi-Dimensional Modal Logic ISBN: 079234345X ISBN-13(EAN): 9780792343455 Издательство: Springer Рейтинг: Цена: 139750.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Modal Logic is a branch of logic with applications in many related disciplines such as computer science, philosophy, linguistics and artificial intelligence. This book treats multi-dimensional modal logics in a uniform way, linking their mathematical theory to the research tradition in algebraic logic.
Автор: Fitting Название: First-Order Modal Logic ISBN: 0792353358 ISBN-13(EAN): 9780792353355 Издательство: Springer Рейтинг: Цена: 81050.00 T Наличие на складе: Поставка под заказ. Описание: Presents a treatment of first-order modal logic, together with propositional background. This book covers quantification, including the difference between actualist and possibilist quantifiers; equality, leading to a treatment of Frege`s morning star/evening star puzzle; the notion of existence and the logical problems surrounding it; and more.
Автор: Andrea Rocci Название: Modality in Argumentation ISBN: 9402414800 ISBN-13(EAN): 9789402414806 Издательство: Springer Рейтинг: Цена: 121110.00 T Наличие на складе: Поставка под заказ. Описание: The book addresses modality and argumentation also according to another perspective by looking at how different linguistic modal expressions may be taken as argumentative indicators. It explores the role of modal expressions as argumentative indicators by using the Italian modal system as a case study.
Автор: Kenneth J. Konyndyk Jr Название: Introductory Modal Logic ISBN: 0268024073 ISBN-13(EAN): 9780268024079 Издательство: Wiley EDC Рейтинг: Цена: 91520.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
Modal logic, developed as an extension of classical propositional logic and first-order quantification theory, integrates the notions of possibility and necessity and necessary implication. Arguments whose understanding depends on some fundamental knowledge of modal logic have always been important in philosophy of religion, metaphysics, and epistemology. Moreover, modal logic has become increasingly important with the use of the concept of “possible worlds” in these areas. Introductory Modal Logic fills the need for a basic text on modal logic, accessible to students of elementary symbolic logic.
Kenneth Konyndyk presents a natural deduction treatment of propositional modal logic and quantified modal logic, historical information about its development, and discussions of the philosophical issues raised by modal logic. Characterized by clear and concrete explanations, appropriate examples, and varied and challenging exercises, Introductory Modal Logic makes both modal logic and the possible-worlds metaphysics readily available to the introductory level student.
Автор: Guram Bezhanishvili Название: Leo Esakia on Duality in Modal and Intuitionistic Logics ISBN: 9401788596 ISBN-13(EAN): 9789401788595 Издательство: Springer Рейтинг: Цена: 139750.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Leo Esakia on Duality in Modal and Intuitionistic Logics
Автор: Cresswell, M.J. Название: A New Introduction to Modal Logic ISBN: 0415125995 ISBN-13(EAN): 9780415125994 Издательство: Taylor&Francis Рейтинг: Цена: 148010.00 T Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Follesdal, Dagfinn Название: Referential Opacity and Modal Logic ISBN: 0415998441 ISBN-13(EAN): 9780415998444 Издательство: Taylor&Francis Рейтинг: Цена: 48990.00 T Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Francesca Poggiolesi Название: Gentzen Calculi for Modal Propositional Logic ISBN: 9400734425 ISBN-13(EAN): 9789400734425 Издательство: Springer Рейтинг: Цена: 139750.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book is about proof theory for (the main systems of) modal logic. It is the first book to give a uniform and exhaustive presentation of both types of sequent calculus for modal logic, the purely syntactic sequent calculi as well as the semantic ones.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
