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

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

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


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

  • Компьютерная программа, реализующая полиномиальную аппроксимацию подынтегральной функции для вычисления точного значения интеграла. Язык программирования 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

  • The rules and examples of using modal verbs in English: may, mights, can, could, allow. The difference of meaning between verbs. Using perfect infinitive to express an unfulfilled obligation. Examples of Absence of obligation and unnecessary action.

    презентация [20,7 K], добавлен 29.09.2011

  • The area of the finite verb including particular questions tense, aspect and modal auxiliary usage. The categories of verb morphology: time, possibility, hypothesis, desirability, verb agreement. American sign language and the category of voice.

    курсовая работа [41,3 K], добавлен 21.07.2009

  • Can, may, We can compare may and can. Must. Must and May compared. To have to. To be to. Must, to have to and to be to compared. Ought to. Shall and should. Must, Should and ought to compared. Should + Perfect infinitive.

    дипломная работа [35,2 K], добавлен 22.07.2006

  • Analysis of expression of modality in English language texts. Its use as a basic syntactic categories. Evaluation modalities of expression of linguistic resources. Composite modal predicate verb is necessary in the sense of denial assumption corresponds.

    курсовая работа [29,1 K], добавлен 10.01.2015

  • Degrees of comparison of adjectives and adverbs, тhe generala word order in the English offer. Impersonal and indefinite-personal offers. Correct and irregular verbs. Modal verbs and their substitutes. Concord of tenses in the main and additional offers.

    учебное пособие [208,0 K], добавлен 26.10.2009


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

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

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