A New Introduction to Modal Logic, Cresswell, M.J.
Автор: Eric Pacuit Название: Neighborhood Semantics for Modal Logic ISBN: 3319671480 ISBN-13(EAN): 9783319671482 Издательство: Springer Рейтинг: Цена: 4611.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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);
Автор: Francesca Poggiolesi Название: Gentzen Calculi for Modal Propositional Logic ISBN: 9400734425 ISBN-13(EAN): 9789400734425 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Maarten Marx; Yde Venema Название: Multi-Dimensional Modal Logic ISBN: 079234345X ISBN-13(EAN): 9780792343455 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Описание: 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.
Автор: Maarten Marx; Yde Venema Название: Multi-Dimensional Modal Logic ISBN: 9401064016 ISBN-13(EAN): 9789401064019 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Heinrich Wansing Название: Displaying Modal Logic ISBN: 9048150795 ISBN-13(EAN): 9789048150793 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: K.A. Bowen Название: Model Theory for Modal Logic ISBN: 9027709297 ISBN-13(EAN): 9789027709295 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Follesdal, Dagfinn Название: Referential Opacity and Modal Logic ISBN: 0415998441 ISBN-13(EAN): 9780415998444 Издательство: Taylor&Francis Рейтинг: Цена: 7348.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Guram Bezhanishvili Название: Leo Esakia on Duality in Modal and Intuitionistic Logics ISBN: 9401788596 ISBN-13(EAN): 9789401788595 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Leo Esakia on Duality in Modal and Intuitionistic Logics
Автор: Guram Bezhanishvili Название: Leo Esakia on Duality in Modal and Intuitionistic Logics ISBN: 9402403388 ISBN-13(EAN): 9789402403381 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
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.
Автор: Patterson Richard Название: Aristotle`s Modal Logic: Essence and Entailment in the Organon ISBN: 052145168X ISBN-13(EAN): 9780521451680 Издательство: Cambridge Academ Цена: 15205.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Aristotle was both a great metaphysician and the inventor of logic, including the logic of possibility and necessity. Aristotle`s Modal Logic, first published in 1995, presents a new interpretation of Aristotle`s logic by arguing that a proper understanding of the system depends on an appreciation of its connection to the metaphysics.
Автор: Corfield, David (senior Lecturer In Philosophy, Senior Lecturer In Philosophy, University Of Kent, Canterbury) Название: Modal homotopy type theory ISBN: 0198853408 ISBN-13(EAN): 9780198853404 Издательство: Oxford Academ Рейтинг: Цена: 14098.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy provides a reasonably gentle introduction to this new logic, thoroughly motivated by intuitive explanations of the need for all of its component parts, and illustrated through innovative applications of the calculus.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
