|
|
libcats.org
Modal LogicAlexander Chagrov, Michael ZakharyaschevFor a novice this book is a mathematically-oriented introduction to modal logic, the discipline within mathematical logic studying mathematical models of reasoning which involve various kinds of modal operators. It starts with very fundamental concepts and gradually proceeds to the front line of current research, introducing in full details the modern semantic and algebraic apparatus and covering practically all classical results in the field. It contains both numerous exercises and open problems, and presupposes only minimal knowledge in mathematics. A specialist can use the book as a source of references. Results and methods of many directions in propositional modal logic, from completeness and duality to algorithmic problems, are collected and systematically presented in one volume.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Разведывательно-диверсионная группа. «Док»Автор: Негривода Андрей АлексеевичКатегория: Боевик
Размер книги: 865 Kb
История Власа лентяя и лоботрясаАвтор: Маяковский Владимир ВладимировичКатегория: Детская проза, Поэзия
Размер книги: 439 Kb
Введение в теорию расписанийАвтор: Танаев В.С., Автор: Шкурба В.В.Категория: Optimization and control
Размер книги: 3.44 Mb
Трехфазный асинхронный двигатель в схеме однофазного включения с конденсаторомАвтор: Торопцев Николай ДемидовичКатегория: Энергетика
Размер книги: 1.19 Mb
|
|
|