论文信息 - Canonical Modal Logics and Ultrafilter Extensions - 字舞流文

Canonical Modal Logics and Ultrafilter Extensions

Johan van Benthem | J. Benthem

[1] J.F.A.K. van Benthem,et al. Modal Correspondence Theory , 1977 .

[2] S. K. Thomason,et al. AXIOMATIC CLASSES IN PROPOSITIONAL MODAL LOGIC , 1975 .

[3] K. Fine. Some Connections Between Elementary and Modal Logic , 1975 .

[4] R. Goldblatt. Metamathematics of modal logic , 1974, Bulletin of the Australian Mathematical Society.

[5] S. K. Thomason,et al. An incompleteness theorem in modal logic , 1974 .

[6] Kit Fine,et al. An incomplete logic containing S4 , 1974 .

[7] Krister Segerberg,et al. An essay in classical modal logic , 1971 .