Topology and duality in modal logic

Analyse de la semantique de la logique propositionnelle module normale par des approches algebrique et relationnelle

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

[2]  Steven K. Thomason.  Categories of Frames for Modal Logic , 1975, J. Symb. Log..

[3]  George Boolos,et al.  An incomplete system of modal logic , 1985, J. Philos. Log..

[4]  Steven K. Thomason,et al.  Semantic analysis of tense logics , 1972, Journal of Symbolic Logic.

[5]  R. Magari,et al.  Representation and duality theory for diagonalizable algebras , 1975 .

[6]  Johan van Benthem,et al.  Notes on Modal Definability , 1988, Notre Dame J. Formal Log..

[7]  Saul A. Kripke,et al.  Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi , 1963 .

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

[9]  Henrik Sahlqvist.  Completeness and Correspondence in the First and Second Order Semantics for Modal Logic , 1975 .

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

[11]  E. J. Lemmon,et al.  Algebraic semantics for modal logics I , 1966, Journal of Symbolic Logic (JSL).

[12]  J. Benthem.  Some kinds of modal completeness , 1980 .

[13]  Paola Unterholzner.  Algebraic and relational semantics for tense logics , 1981 .

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

[15]  Dexter Kozen,et al.  On the Duality of Dynamic Algebras and Kripke Models , 1979, Logic of Programs.

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

[17]  A. Tarski,et al.  Boolean Algebras with Operators , 1952 .

[18]  A. Tarski,et al.  Boolean Algebras with Operators. Part I , 1951 .

[19]  Johan van Benthem,et al.  Canonical Modal Logics and Ultrafilter Extensions , 1979, J. Symb. Log..

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