Temporal Logic, Peter ?hrstr?m; Per Hasle

Автор: Barker-Plummer Dave
Название: Language, Proof and Logic, (+CD-ROM) 2nd Edition
ISBN: 1575866323 ISBN-13(EAN): 9781575866321
Издательство: Wiley
Рейтинг:
Цена: 107010.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A textbook/software package that covers first-order language in a method appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course. It also includes applications for mobile devices, exercises, and a dedicated website.

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

Автор: Graham Priest
Название: An Introduction to Non-Classical Logic
ISBN: 0521854334 ISBN-13(EAN): 9780521854337
Издательство: Cambridge Academ
Рейтинг:
Цена: 99270.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This revised and considerably expanded 2nd edition brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant, and fuzzy logics. All of the topics are explained clearly using devices such as tableau proofs, and their relation to current philosophical issues are explained.

Автор: Kamp
Название: From Discourse to Logic
ISBN: 0792310284 ISBN-13(EAN): 9780792310280
Издательство: Springer
Рейтинг:
Цена: 32560.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Approaches natural language semantics and logic from the perspective of Discourse Representation Theory, an approach which emphasizes the dynamic and incremental aspects of meaning and inference. This is intended for students with varying degrees of preparation, including those without prior exposure to semantics or formal logic.

Автор: Torben Bra?ner
Название: Hybrid Logic and its Proof-Theory
ISBN: 9400734352 ISBN-13(EAN): 9789400734357
Издательство: Springer
Рейтинг:
Цена: 139750.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Hybrid Logic and its Proof-Theory demonstrates that hybrid-logical proof-theory remedies the lack of uniformity in ordinary modal-logical proof systems. Various versions and proof systems for hybrid logic are considered, providing a detailed overview of the topic.

Автор: Dov M. Gabbay; Franz Guenthner
Название: Handbook of Philosophical Logic
ISBN: 9400734603 ISBN-13(EAN): 9789400734609
Издательство: Springer
Рейтинг:
Цена: 181670.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Belief Revision Refutation and systems in Propositional Logic. A Quantifier Scope in Formal Linguistics and Non-deterministic Semantics for Logical Systems."

Автор: Stefania Centrone
Название: Logic and Philosophy of Mathematics in the Early Husserl
ISBN: 9048132452 ISBN-13(EAN): 9789048132454
Издательство: Springer
Рейтинг:
Цена: 139750.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text focuses on the first ten years of Edmund Husserl`s work, from the publication of his Philosophy of Arithmetic to that of Logical Investigations. It aims to locate this work in the fields of logic, philosophy of logic and philosophy of mathematics.

Автор: Peter ?hrstr?m; Per Hasle
Название: Temporal Logic
ISBN: 9048145848 ISBN-13(EAN): 9789048145843
Издательство: Springer
Рейтинг:
Цена: 181670.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Temporal Logic: From Ancient Ideas to Artificial Intelligence deals with the history of temporal logic as well as the crucial systematic questions within the field.

Автор: N. Rescher
Название: Temporal Modalities in Arabic Logic
ISBN: 9401035253 ISBN-13(EAN): 9789401035255
Издательство: Springer
Рейтинг:
Цена: 49330.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The aim of this monograph is to expound the conceptions of temporalized modality at issue in various Arabic logical texts. I claim to have been able to make good logical sense of doctrines of which even the later Arab logicians themselves came to despair.

Автор: Margarita V?zquez Campos; Antonio Manuel Liz Guti?
Название: Temporal Points of View
ISBN: 3319198149 ISBN-13(EAN): 9783319198149
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book seeks to arrive at a better understanding of the relationships between the objective and subjective aspects of time.

Автор: Greg Restall
Название: Logic
ISBN: 0415400686 ISBN-13(EAN): 9780415400688
Издательство: Taylor&Francis
Рейтинг:
Цена: 39800.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A comprehensive introduction to the major concepts and techniques involved in the study of logic. It explores both formal and philosophical logic, and examines the ways in which we can achieve good reasoning.

Автор: Priest
Название: Logic
ISBN: 0192893203 ISBN-13(EAN): 9780192893208
Издательство: Oxford Academ
Рейтинг:
Цена: 8440.00 T
Наличие на складе: Невозможна поставка.
Описание: An introduction to modern formal logic, this book explores the philosophical roots of the subject, explaining how it deals with issues ranging from the existence of God and the reality of time, to paradoxes of probability and decision theory. Each chapter takes some philosophical problem, and explains how it may be handled in modern logic.