Modal Logic. Cambridge Tracts in Theoretical Computer Science
P
Blackburn
M
De Rijke
Y
Venema
Cambridge University Press
Finite Model Theory
H.-D
Ebbinghaus
J
Flum
Springer
2nd. edition
Mathematical Logic
H.-D
Ebbinghaus
J
Flum
W
Thomas
Springer
On local and nonlocal properties
H
Gaifman
Logic Colloquium '81
J. Stern
North Holland
Model Theory of Modal Logic. In preparation for: Handbook of Modal Logic
V
Goranko
M
Otto
On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic
D
Janin
I
Walukiewicz
Proceedings of 7th International Conference on Concurrency Theory CONCUR '96, number 1119 in Lecture Notes in Computer Science
7th International Conference on Concurrency Theory CONCUR '96, number 1119 in Lecture Notes in Computer Science
Springer-Verlag
Elementary proof of the van Benthem-Rosen characterisation theorem
M
Otto
Modal and guarded characterisation theorems over finite transition systems
M
Otto
Annals of Pure and Applied Logic
130
Modal logic over finite structures
E
Rosen
Journal of Logic, Language and Information
6
Modal Logic and Classical Logic
J
Van Benthem
Bibliopolis
</analytic>
<monogr>
<title level="m">Proceedings of the 20 th Annual Symposium on Logic in Computer Science (LICS'05)
the 20 th Annual Symposium on Logic in Computer Science (LICS'05)