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.
| Рубрика | Математика |
| Предмет | Logic for mathematicians |
| Вид | статья |
| Язык | английский |
| Прислал(а) | incognito |
| Дата добавления | 10.09.2012 |
| Размер файла | 316,9 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Подобные документы
Компьютерная программа, реализующая полиномиальную аппроксимацию подынтегральной функции для вычисления точного значения интеграла. Язык программирования Visual Basic. Описание средств программного интерфейса. Интерактивная форма для ввода данных.
курсовая работа [476,5 K], добавлен 27.04.2011Двойственные задачи в линейном программировании. Симметричные и несимметричные двойственные задачи. Связь исходной и двойственной задач. Анализ моделируемой ситуации (моделируемого объекта). Реализация двойственности на Visual Basic for Application.
курсовая работа [703,5 K], добавлен 14.10.2011Construction 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.2010Modal 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.2012The 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.2011The 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.2009Can, 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.2006Analysis 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.2015Degrees 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
