Автор: 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);
Автор: K.A. Bowen Название: Model Theory for Modal Logic ISBN: 9027709297 ISBN-13(EAN): 9789027709295 Издательство: Springer Рейтинг: Цена: 139750.00 T Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: 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: 9401064016 ISBN-13(EAN): 9789401064019 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: 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.
Автор: 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.
Автор: Follesdal, Dagfinn Название: Referential Opacity and Modal Logic ISBN: 0415998441 ISBN-13(EAN): 9780415998444 Издательство: Taylor&Francis Рейтинг: Цена: 48990.00 T Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Dov M. Gabbay Название: Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics ISBN: 9027706565 ISBN-13(EAN): 9789027706560 Издательство: Springer Рейтинг: Цена: 181670.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: GABBA Y PART 0 AN INTRODUCTION TO GENERAL INTENSIONAL LOGICS CHAPTER 0 CONSEQUENCE RELATIONS Motivation We introduce the notions of a consequence relation (which is a generalization of the notion of a logical system) and of a semantics.
Автор: Andrzej Indrzejczak Название: Natural Deduction, Hybrid Systems and Modal Logics ISBN: 9048187842 ISBN-13(EAN): 9789048187843 Издательство: Springer Рейтинг: Цена: 241310.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book provides a detailed exposition of one of the most practical and popular methods of proving theorems in logic, called Natural Deduction.
Автор: Heinrich Wansing Название: Displaying Modal Logic ISBN: 9048150795 ISBN-13(EAN): 9789048150793 Издательство: Springer Рейтинг: Цена: 139750.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The present monograph is a slightly revised version of my Habilitations- schrift Proof-theoretic Aspects of Intensional and Non-Classical Logics, successfully defended at Leipzig University, November 1997.
Автор: Geudens Christophe, Demey Lorenz Название: The Modal Logic of John Fabri of Valenciennes (c. 1500): A Study in Token-Based Semantics ISBN: 3030988015 ISBN-13(EAN): 9783030988012 Издательство: Springer Рейтинг: Цена: 51230.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The first book-length study to address issues in modal logic at the eve of the Renaissance, this monograph provides important new insights into the way the debates on modal logic during the post-medieval period tied in with the so-called Wegestreit, the divide between the via antiqua and via moderna that dominated the discourse on logic during the 15th and early 16th centuries. The focus of the book is on the logic and philosophy of language of John Fabri of Valenciennes (fl. c. 1500), one of the last exponents of the terminist approach to logic that was bitterly criticized by the humanist movement. By means of a careful reconstruction of Fabri’s text, the book argues that Fabri's modal logic ultimately goes back to the work of John Buridan, and represents the same approach to the topic as the modal logics that were developed by adherents of the via moderna in Paris. This has significant implications for the historiography of post-medieval philosophy. Fabri was active in Louvain, which until the late 16th century was the most important intellectual center in the Low Countries. According to a long-standing tradition in the scholarship, Louvain was one of the few bulwarks of via antiqua logic on the map of post-medieval Europe. The book argues that this thesis is at least in part a scholarly fiction, and thus in need of revision. By shedding light on an author whose thought has thus far remained entirely unstudied, it also constitutes a valuable step towards a history of philosophy without any gaps. The book is aimed at graduate students and researchers in the history of logic and philosophy, but will also be of interest to intellectual historians, historians of ideas, and to any contemporary modal logician who is interested in the historical roots of their discipline.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz