Алгоритмическая проблема финитарного семантического следования для базисной и формальной логик А. Виссера.
Article Sidebar
Опубликован:
02.11.2004
Main Article Content
Аннотация
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.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Чагров А. Алгоритмическая проблема финитарного семантического следования для базисной и формальной логик А. Виссера. // Логические исследования / Logical Investigations. 2004. Т. 11. C. 282-289.
Выпуск
Раздел
Статьи
Литература
Чагров А.В. Неразрешимость финитарного семантического следования // Десятая Всесоюзная конференция по математической логике. Алма-Ата, 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.
Чагров А.В. Неразрешимые свойства суперинтуиционистских логик // Математические вопросы кибернетики. Вып. 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.