Własności semantyczne rachunku modalnego S9

• Autorzy: Małgorzata Stawiska

Warianty tytułu

Semantic Properties of the Modal Calculus S9

• Języki publikacji: PL

Abstrakty

W niniejszym artykule przedstawiono semantykę możliwych światów dla rachunku S 9.

EN

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

PL

Logika; Algebra; Matematyka

EN

Logic; Algebra; Mathematics

• Czasopismo: Zeszyty Naukowe / Akademia Ekonomiczna w Krakowie
• Rocznik: 1992
• Numer: nr 365 Prace z zakresu matematyki i programowania matematycznego
• Strony: 5--12

Twórcy

autor

Małgorzata Stawiska

• 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.