S. Abramsky, Domain Theory and the Logic of Observable Properties, 1987.

O. Brunet, A Model for Knowledge Representation in Distributed Systems, Proc. KI workshop on Modal Logic in AI, pp.3-12, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00822906

B. Chellas, Modal Logic, an Introduction, 1980.

D. Van-dalen, Intuitionnistic Logic, Handbook of Philosophical Logic, volume III, 1986.

M. Fitting, Proof Methods for Modal and Intuitionnistic Logics, 1983.

A. Heyting, Intuitionism: An Introduction, 1956.

G. E. Hughes and M. J. , A New Introduction to Modal Logic, 1996.
DOI : 10.4324/9780203290644

S. Vickers, Topology via Logics Number 6 in Cambridge Tracts in Theoretical Computer Science, 1989.