|
|
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
Только что пользователи скачали эти книги:
Затерянные во времениАвтор: Донован КейтКатегория: Любовно-фантастические романы
Размер книги: 989 Kb
Олег Александрович Бойко. Наладка коммутации машин постоянного тока (1966, djvu)Автор:
Размер книги: 537 Kb
Мобильные и подвижные роботы, используемые в немашиностроительных отраслях. Информационные материалыАвтор: Авторы: М.Л.Жмылевская, Автор: Б.В.Гришин.
Размер книги: 3.13 Mb
Head First Servlets and JSP: Passing the Sun Certified Web Component Developer ExamАвтор: Bryan Basham, Автор: Kathy Sierra, Автор: Bert Bates
Размер книги: 63.73 Mb
Oxford American Handbook of Urology (Oxford Handbook)Автор: David M. Albala, Автор: Leonard G. Gomella, Автор: Allen F. Morey, Автор: John P. Stein
Размер книги: 3.23 Mb
Advances in Databases and Information Systems: Third East European Conference, ADBIS'99, Maribor, Slovenia, September 13-16, 1999, ProceedingsАвтор: Johann Eder, Автор: Ivan Rozman, Автор: Tatjana Welzer
Размер книги: 8.63 Mb
Slavery in the Development of the AmericasАвтор: David Eltis, Автор: Frank D. Lewis, Автор: Kenneth L. Sokoloff
Размер книги: 5.06 Mb
Karl Jaspers über Kierkegaard und NietzscheАвтор: Nietzsche Friedrich WilhelmКатегория: fiction
Размер книги: 108 Kb
|
|
|