Czasopismo
Tytuł artykułu
Autorzy
Warianty tytułu
Semantic Properties of the Modal Calculus S9
Języki publikacji
Abstrakty
W niniejszym artykule przedstawiono semantykę możliwych światów dla rachunku S 9.
In the paper two types of semantics for the modal calculus S9 are presented and mutually compared: a Kripke semantics and a matrix semantics. The matrix semantics given here is a generalization of the case concerned so far in logical literature. The main result of the paper is the theorem (2.12), in which for any S9 - matrix model there is constructed a S9 - Kripke model of the same content. (original abstract)
Słowa kluczowe
Rocznik
Strony
5--12
Opis fizyczny
Twórcy
autor
- Akademia Ekonomiczna w Krakowie
Bibliografia
- Cresswell M.J., Note on a system of Åquist, JSL, 1967, 32.
- Esakija L.L., O topologičeskich modeljach Kripke, Dokl. AN SSSR, 1974, t. 214, nr 2.
- Fitting M.C., Intuitionistic Logic. Model Theory and Forcing, Amsterdam 1969.
- Hughes G.E., Cresswell M.J., An Introduction to Modal Logic, Methuen, London and New York 1982.
- Lemmon E.J., Algebraic Semantics for Modal Logics, "Journal of Symbolic Logic" 1966, nr 31.
- Malawski A., Związek metody S.A. Kripkego z topologicznymi algebrami Boole'a, "Zeszyty Naukowe", WSE, Kraków 1974, nr 65.
- Mała Encyklopedia Logiki, praca zbiorowa pod red. W. Marciszewskiego, "Ossolineum", Wrocław 1988.
- McCall, Vander Nat A., The System S 9, W: J.W. Davis et al. (ed.), Philosophical Logic, Dordrecht 1969, Synthase Library.
- Perzanowski J., Logiki modalne a filozofia, UJ, Kraków 1989, nr 156, praca habilitacyjna.
- Rasiowa H., Sikorski R., The Mathematics of Metamathematics, PWN, Warszawa 1963.
- Thomason S., Categories of Frames for Modal Logic, 3SL, 1975, nr 40, z. 3.
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.ekon-element-000171318433