Алгоритмическая проблема финитарного семантического следования для базисной и формальной логик А. Виссера.

##plugins.themes.bootstrap3.article.main##

A.V. Chagrov

Abstract

Formula В is a finitary semantical consequence of formula A on class of semantical structures $\Omega$ (for example, Kripke frames or generalized frames of some logic L) if В is valid in all finite structures from $\Omega$ validating A. The undecidability of various versions of the notion of finitary semantical consequence relation for classes of Kripke frames and generalized frames of the Visser’s basic logic and the Visser's formal logic is proposed.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.article.details##

Section
Статьи

References

Чагров А.В. Неразрешимость финитарного семантического следования // Десятая Всесоюзная конференция по математической логике. Алма-Ата, 1990. С. 162.

Чагров А.В. Неразрешимые свойства суперинтуиционистских логик // Математические вопросы кибернетики. Вып. 5. М., Физматлит, 1994. С. 62-108.

Чагров А.В. Формальная пропозициональная логика А. Виссера и ее расширения // Логические исследования. Вып. 10. М., Наука, 2003. С. 204-211.

van Benthem J.F.A.K. Notes on Modal Definability // Notre Dame Journal of Formal Logic. 1989. V. 30. P. 20-35.

Chagrov A., Chagrova L. Algorithmic Problems Concerning First-Order Definability of Modal Formulas on the Class of all Finite Frames // Studia Logica. 1995. V. 55. P. 421-448.

Chagrov A., Zakharyaschev M Modal Logic. Oxford University Press, 1997.

Chang C.C., Keisler H.K. Model Theory. Elsevier Science Publishers, 1990.

Ebbinghaus H.-D.f Flum J. Finite Model Theory. Springer, 1999.

Suzuki Y., Wolter F., and Zakharyaschev M Speaking about transitive frames in propositional languages // Journal of Logic, Language, and Information. 1998. V. 7. P. 317-339.

Visser A. A propositional logic with explicit fixed points 11 Studia Logica. 1981.V. 40. P. 155-175.

##plugins.generic.recommendByAuthor.heading##

1 2 > >>