A Completeness Theorem in Modal Logic. Saul A. Kripke

The paper attempts to state and prove a completeness theorem for the system S5 of supplemented by first-order quantifiers and the sign of equality. The basic modal language. A general strategy for proving completeness theorems for quantified modal logics.

Рубрика Математика
Вид статья
Язык английский
Дата добавления 10.09.2012
Размер файла 316,9 K

Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже

Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.


HTML-версии работы пока нет.
Cкачать архив работы можно перейдя по ссылке или кнопке, которые находятся ниже.


Подобные документы

  • Компьютерная программа, реализующая полиномиальную аппроксимацию подынтегральной функции для вычисления точного значения интеграла. Язык программирования Visual Basic. Описание средств программного интерфейса. Интерактивная форма для ввода данных.

    курсовая работа [476,5 K], добавлен 27.04.2011

  • Двойственные задачи в линейном программировании. Симметричные и несимметричные двойственные задачи. Связь исходной и двойственной задач. Анализ моделируемой ситуации (моделируемого объекта). Реализация двойственности на Visual Basic for Application.

    курсовая работа [703,5 K], добавлен 14.10.2011

  • Construction of the general algorithm for integration of the linear usual distinctive equation. Creation of the common decision of the differential equation. An example of the decision of linear systems. Definition of components of certain functions.

    учебное пособие [2,4 M], добавлен 03.10.2011

  • Общая характеристика и особенности двух методов решения обычных дифференциальных уравнений – Эйлера первого порядка точности и Рунге-Кутта четвёртого порядка точности. Листинг программы для решения обычного дифференциального уравнения в Visual Basic.

    курсовая работа [1,1 M], добавлен 04.06.2010

  • Modal verbs in middle English. Functions of modal verbs in modern English. The meaning of modal verbs in translation. Differences and peculiarities of the usage of modal verbs in newspapers and fiction. The usage of modal verbs in business English.

    курсовая работа [59,7 K], добавлен 27.09.2012

Работа, которую точно примут
Сколько стоит?

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу.