1. On the logic of theory change: partial meet functions for contraction and revision;Alchourrón;J. Symb. Logic,1985
2. Modal Quantifiers;Alechina,1995
3. Andréka, H., Van Benthem, J., Németi, I., 1994. Back and Forth between Modal Logic and Classical Logic. Mathematical Institute, Hungarian Academy of Sciences, Budapest/Institute for Logic, Language and Computation, University of Amsterdam, the Netherlands, Report ILLC-ML-95–04.
4. Reference to Abstract Objects in Discourse;Asher,1993
5. Process Algebra;Baeten,1990