A New Introduction to Modal Logic, Cresswell, M.J.

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

Автор: 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
Наличие на складе: Есть у поставщика Поставка под заказ.

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

Автор: Cocchiarella, Nino B.; Freund, Max A.
Название: Modal Logic
ISBN: 0195366573 ISBN-13(EAN): 9780195366570
Издательство: Oxford Academ
Рейтинг:
Цена: 52260.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In this text, a variety of modal logics at the sentential, first-order, and second-order levels are developed with clarity, precision and philosophical insight. All of the S1-S5 modal logics of Lewis and Langford, among others, are constructed. A matrix, or many-valued semantics, for
sentential modal logic is formalized, and an important result that no finite matrix can characterize any of the standard modal logics is proven. Exercises, some of which show independence results, help to develop logical skills.

A separate sentential modal logic of logical necessity in logical atomism is also constructed and shown to be complete and decidable. On the first-order level of the logic of logical necessity, the modal thesis of anti-essentialism is valid and every de re sentence is provably equivalent to a de
dicto sentence.

An elegant extension of the standard sentential modal logics into several first-order modal logics is developed. Both a first-order modal logic for possibilism containing actualism as a proper part as well as a separate modal logic for actualism alone are constructed for a variety of modal systems.
Exercises on this level show the connections between modal laws and quantifier logic regarding generalization into, or out of, modal contexts and the conditions required for the necessity of identity and non-identity.

Two types of second-order modal logics, one possibilist and the other actualist, are developed based on a distinction between existence-entailing concepts and concepts in general. The result is a deeper second-order analysis of possibilism and actualism as ontological frameworks. Exercises regarding
second-order predicate quantifiers clarify the distinction between existence-entailing concepts and concepts in general.

Modal Logic is ideally suited as a core text for graduate and undergraduate courses in modal logic, and as supplementary reading in courses on mathematical logic, formal ontology, and artificial intelligence.

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

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

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

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

Автор: Maarten Marx; Yde Venema
Название: Multi-Dimensional Modal Logic
ISBN: 9401064016 ISBN-13(EAN): 9789401064019
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

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

Автор: K.A. Bowen
Название: Model Theory for Modal Logic
ISBN: 9027709297 ISBN-13(EAN): 9789027709295
Издательство: Springer
Рейтинг:
Цена: 139750.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.