Cambridge University Press, 2002. — XXII + 554 p. — ISBN: 0-52152-714-7. This modern, advanced textbook reviews modal logic, a field which caught the attention of computer scientists in the late 1970's. The development is mathematical; prior acquaintance with first-order logic and its semantics is assumed, and familiarity with the basic mathematical notions of set theory is...
The University of Chicago Press, 1948. — viii, 210 pages. The main purpose of this book is the development of a new method for the semantical analysis of meaning, that is, a new method for analyzing and describing the meanings of linguistic expressions. This method, called the method of extension and intension, is developed by modifying and extending certain customary concepts,...
New York: Springer. 1998/ 300 p. ISBN: 978-0-7923-5335-5; ISBN: 978-94-011-5292-1 (eBook) This is a thorough treatment of first-order modal logic. The book covers such issues as quantification, equality (including a treatment of Frege's morning star/evening star puzzle), the notion of existence, non-rigid constants and function symbols, predicate abstraction, the distinction...
Cambridge University Press, 2011. — xiv, 268 p. — (Lecture Notes in Logic). — ISBN 978-1-107-01052-9. Many systems of quantified modal logic cannot be characterised by Kripke’s well-known possible worlds semantic analysis. This book shows how they can be characterised by a more general ‘admissible semantics’, using models in which there is a restriction on which sets of worlds...
Second Edition Revised and Expanded. — Center for the Study of Language and Information, 1988. — 135 pages. — (Lecture Notes). — ISBN: 093707330X, 0937073296.
Intensional logic is the technical study of such intensional phenomena in human reasoning as modality, knowledge, or flow of time. These all require a richer semantic picture than standard truth values in one static...
Calgary (Canada): University of Calgary, 2019. — 262 p. A textbook for modal and other intensional logics based on the Open Logic Project . Normal Modal Logics Syntax and Semantics of Normal Modal Logics. Frame Definability. Axiomatic Derivations. Completeness and Canonical Models. Filtrations and Decidability. Modal Tableaux. Intuitionistic Logic Semantics. Soundness and...
КомКнига, 2007. — 290 с.
В настоящей книге систематически рассмотрены и исследованы логики модальностей знания и мнения. Автор оригинальным образом решает проблему «логического всеведения», используя семантику частичных возможных миров. Формулируются соответствующие системы, исследуются их метатеоретические особенности (корректность, полнота и т.д.), устанавливается связь с...
М.: ИФ РАН, 2001. — 176 с. В книге исследуются модальные идеи и теории выдающегося логика XX века Я.Лукасевича. В первых двух главах анализируются две построенные им модальные логики (трехзначная и четырехзначная). В третьей главе предпринимается попытка развить и формализовать его интуитивные представления о детерминизме, истине и причинности. Книга, являющаяся первым в...
М.: ИФ РАН, 2001. — 176 с. — ISBN 5-201-02063-1.
В книге исследуются модальные идеи и теории выдающегося логика XX века Я. Лукасевич. В первых двух главах анализируются две построенные им модальные логики (трехзначная и четырехзначная). В третьей главе предпринимается попытка развить и формализовать его интуитивные представления о детерминизме, истине и причинности. Книга,...
М.: Изд-во иностранной литературы, 1959. — 384 с. Труд Р.Карнапа "Значение и необходимость" - является заключительным томом eгo исследований по семантике, который имеет самостоятельное значение. Он подводит некоторые итоги эволюции взглядов одного из лидеров логического позитивизма на философию и логическую семантику. Карнап, обосновывая здесь свои теоретико познавательные позиции...
Монография. — М.: Иностранная литература, 1959. — 384 с. Труд Р.Карнапа "Значение и необходимость" - является заключительным томом eгo исследований по семантике, который имеет самостоятельное значение. Он подводит некоторые итоги эволюции взглядов одного из лидеров логического позитивизма на философию и логическую семантику. Карнап, обосновывая здесь свои теоретико...
М.: Прогресс, 1981. — 424 с. — (Общественные науки за рубежом. Философия и социология). Крипке С.А., Хинтикка Я., Прайор А.Н., Леммон Е., Томасон С.К., Габбай Д.М., Сегерберг К., Файн К., Монтегю Р., Скотт Д., Белнап Н.Д., Роутлей Р., Мейер Р. Семантическое рассмотрение модальной логики. Виды модальности. Модальность и квантификация. Временн'ая логика и непрерывность времени....
М.: Прогресс, 1981. — 424 с. — (Общественные науки за рубежом. Философия и социология). Авторы: Крипке С.А., Хинтикка Я., Прайор А.Н., Леммон Е., Томасон С.К., Габбай Д.М., Сегерберг К., Файн К., Монтегю Р., Скотт Д., Белнап Н.Д., Роутлей Р., Мейер Р. Семантическое рассмотрение модальной логики. Виды модальности. Модальность и квантификация. Временная логика и непрерывность...
Таллинн : Академия наук Эстонии, [Институт кибернетики], Отделение информатики и технических наук, 1989. — 55 с. Описываются свободные от сечения секвенциальные системы для наиболее употребительных модальных исчислений. Доказывается их дедуктивная эквивалентность соответствующим системам гильбертовского типа. Теорема об устранимости сечения доказывается для каждой из...
М.: Наука. 1974. — 520 с. — (Математическая логика и основания математики). Одна из лучших монографий по модальной логике. Книга содержит наиболее полное на сегодняшний день, прекрасно построенное и согласованное изложение материала по неклассическим логикам. Модальные логики становятся все более востребованными специалистами по ИИ, занимающимися проблематикой обработки...
Учебник. — Перевод с англ. Ю.А. Петрова, Ю.А. Гастева и др. — Под ред. и с дополн. Г.Е. Минца. — М.: Наука, Главная редакция физико-математической литературы, 1974. — 520 с. — (Математическая логика и основания математики). Модальная логика занимается изучением так называемых модальностей — прежде всего необходимости и возможности, того, что «должно быть», и того, что «может...
Комментарии