论文信息 - Canonicity for Intensional Logics Without Iterative Axioms

Canonicity for Intensional Logics Without Iterative Axioms

David Lewis proved in 1974 that all logics without iterative axioms are weakly complete. In this paper we extend Lewis’s ideas and provide a proof that such logics are canonical and so strongly complete. This paper also discusses the differences between relational and neighborhood frame semantics and poses a number of open questions about the latter.

Timothy J. Surendonk

[1] Frank Wolter,et al. The finite model property in tense logic , 1995, Journal of Symbolic Logic.

[2] Robert Goldblatt. The McKinsey Axiom Is Not Canonical , 1991, J. Symb. Log..

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

[4] Martin Gerson. A Neighbourhood Frame for T with No Equivalent Relational Frame , 1976, Math. Log. Q..

[5] Martin Gerson. The Inadequacy of the Neighbourhood Semantics for Modal Logic , 1975, J. Symb. Log..

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

[7] Kosta Dosen,et al. Duality between modal algebras and neighbourhood frames , 1989, Stud Logica.

[8] J.F.A.K. van Benthem,et al. Modal logic and classical logic , 1983 .

[9] Martin Serastian Gerson. An extension of S4 complete for the neighbourhood semantics but incomplete for the relational semantics , 1975 .

[10] David Lewis. Intensional logics without interative axioms , 1974, J. Philos. Log..

[11] Xiaoping Wang. The McKinsey Axiom Is Not Compact , 1992, J. Symb. Log..

[12] Krister Segerberg,et al. Modal Logics in the Vicinity of S1 , 1996, Notre Dame J. Formal Log..

[13] R. Goldblatt. Mathematics of modality , 1993 .