Отправить эту статью по почте 
Аксиоматическая теория доказательства для модальной логики с поссибилистскими кванторами и равенством
Аннотация
В статье предложена аксиоматизация разработанной авторами логики MLPQ (modal logic with possibilist quantifiers). MLPQ представляет собой модальную логику первого порядка с равенством. Ее синтаксические и семантические особенности таковы: 1) формальный язык MLPQ содержит индивидные константы, актуалистский и поссибилистский кванторы, 2) модели MLPQ имеют переменный домен; 3) в моделяхMLPQ индивидные константы имеют нежесткую интерпретацию; при этом денотат константы в мире w может лежать вне домена w. В [4] были описаны язык и семантикаMLPQ(без использования этой аббревиатуры) и показаны ее выразительные возможности в сравнении с модальной логикой первого порядка Фиттинга и Мендельсона [1]. Ниже описаны язык и семантикаMLPQ и представлена аксиоматическая теория доказательства, для которой может быть показана сильная полнота относительно данной семантики.
Полный текст:
PDFЛитература
Fitting M., Mendelsohn R. L. First-Order Modal Logic. New York: Springer Science + Business Media, B.Y., 1998.
Hintikka J. Existential Presuppositions and Uniqueness Presuppositions. Philosophical Problems in Logic: Some Recent Developments / ed. by K. Lambert. Dordrecht: D. Reidel Publishing Company, 1970, p. 20–55.
Thomason R. H. Some Completeness Results for Modal Predicate Calculi. Philosophical Problems in Logic: Some Recent Developments / ed. by K. Lambert. Dordrecht: D. Reidel Publishing Company, 1970, p. 56–76.
Мухаметшина И. И. Выразительные возможности λ-оператора и поссибилистских кванторов в модальных логиках первого порядка. Analytica, т. 8, 2023, с. 90–103.
DOI: https://doi.org/10.52119/LPHS.2024.26.44.001
Ссылки
- На текущий момент ссылки отсутствуют.
(c) 2024 Е. В. Борисов, И. И. Мухаметшина
Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial» («Атрибуция — Некоммерческое использование») 4.0 Всемирная.