Introductory Modal Logic, Kenneth J. Konyndyk Jr.

Автор: Cresswell, M.J.
Название: A New Introduction to Modal Logic
ISBN: 0415126002 ISBN-13(EAN): 9780415126007
Издательство: Taylor&Francis
Рейтинг:
Цена: 45930.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Johannes Stern
Название: Toward Predicate Approaches to Modality
ISBN: 3319225561 ISBN-13(EAN): 9783319225562
Издательство: Springer
Рейтинг:
Цена: 79170.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Toward Predicate Approaches to Modality

Автор: 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);

Автор: 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

Автор: Follesdal, Dagfinn
Название: Referential Opacity and Modal Logic
ISBN: 0415938511 ISBN-13(EAN): 9780415938518
Издательство: Taylor&Francis
Рейтинг:
Цена: 137810.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Cresswell, M.J.
Название: A New Introduction to Modal Logic
ISBN: 0415125995 ISBN-13(EAN): 9780415125994
Издательство: Taylor&Francis
Рейтинг:
Цена: 148010.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.

Автор: P. Thom
Название: The Logic of Essentialism
ISBN: 0792339878 ISBN-13(EAN): 9780792339878
Издательство: Springer
Рейтинг:
Цена: 214290.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Aristotle`s modal syllogistic has been an object of study ever since the time of Theophrastus; Patterson articulated the links (both theoretical and genetic) between the modal syllogistic and the metaphysics, using an analysis which strictly speaking is neither de re nor de dicto.

Автор: Heinrich Wansing
Название: Proof Theory of Modal Logic
ISBN: 0792341201 ISBN-13(EAN): 9780792341208
Издательство: Springer
Рейтинг:
Цена: 181670.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Focuses on study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations, and more. This work contains technical results and presentations of novel proof procedures. It is useful for the interdisciplinary fields of logic, knowledge representation, and automated deduction.

Автор: 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.

Автор: Heinrich Wansing
Название: Displaying Modal Logic
ISBN: 079235205X ISBN-13(EAN): 9780792352051
Издательство: Springer
Рейтинг:
Цена: 139750.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents an introduction to Display Logic in the context of generalized Gentzen calculi. This book reviews several standard and non-standard sequent-style proof systems for modal logics. It motivates and develops Display Logic, an important refinement of Gentzen`s sequent calculus devised by N Belnap.