Simplified Kripke Style Semantics without Possible Worlds for some Modal Logics

Andrzej Pietruszczak, Mateusz Klonowski, Yaroslav Petrukhin

Аннотация


Simplified Kripke Style Semantics without Possible Worlds for some Modal Logics


Полный текст:

PDF (English)

Литература


Kripke S. A Completeness Theorem in Modal Logic. The Journal of Symbolic Logic 24(1), 1959, pp. 1–14.

Kripke S. Semantical analysis of modal logic I. Normal modal logic propositional calculi. Zeitschr. 1. math. Logik und Otundlagen d. Math., 9, 1963, pp. 67–96.

Kripke S. Semantical analysis of modal logic II. Non-Normal modal propositional calculi. Symposium on the Theory of Models, North-Holland Publ. Co., 1965, pp. 206–220.

Kripke S. Semantical considerations on modal logic. Acta Philosophica Fennica, 16, 1963. pp. 83-94.

Pietruszczak A. Simplified Kripke Style Semantics for modal logics K45, KB4 and KD45. Bulletin of the Section of Logic 38(3/4), 2009, pp. 163–171.


Ссылки

  • На текущий момент ссылки отсутствуют.


Bookmark and Share


(c) 2018 Andrzej Pietruszczak, Mateusz Klonowski, Yaroslav Petrukhin

Лицензия Creative Commons
Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial» («Атрибуция — Некоммерческое использование») 4.0 Всемирная.