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...
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...
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...
М.: ИФ РАН, 2001. — 176 с. — ISBN 5-201-02063-1.
В книге исследуются модальные идеи и теории выдающегося логика XX века Я. Лукасевич. В первых двух главах анализируются две построенные им модальные логики (трехзначная и четырехзначная). В третьей главе предпринимается попытка развить и формализовать его интуитивные представления о детерминизме, истине и причинности. Книга,...
Монография. — М.: Иностранная литература, 1959. — 384 с. Труд Р.Карнапа "Значение и необходимость" - является заключительным томом eгo исследований по семантике, который имеет самостоятельное значение. Он подводит некоторые итоги эволюции взглядов одного из лидеров логического позитивизма на философию и логическую семантику. Карнап, обосновывая здесь свои теоретико...
М.: Прогресс, 1981. — 424 с. — (Общественные науки за рубежом. Философия и социология). Авторы: Крипке С.А., Хинтикка Я., Прайор А.Н., Леммон Е., Томасон С.К., Габбай Д.М., Сегерберг К., Файн К., Монтегю Р., Скотт Д., Белнап Н.Д., Роутлей Р., Мейер Р. Семантическое рассмотрение модальной логики. Виды модальности. Модальность и квантификация. Временная логика и непрерывность...
Учебник. — Перевод с англ. Ю.А. Петрова, Ю.А. Гастева и др. — Под ред. и с дополн. Г.Е. Минца. — М.: Наука, Главная редакция физико-математической литературы, 1974. — 520 с. — (Математическая логика и основания математики). Модальная логика занимается изучением так называемых модальностей — прежде всего необходимости и возможности, того, что «должно быть», и того, что «может...
Комментарии