J. F. A. K. van Benthem, G. D'Agostino, A. Montanari, and A. Policriti.
Modal deduction in second-order logic and set theory-I,
J. Logic Comput., 7(2):251-265, 1997.
I. Düntsch, E. Orlowska, A. M. Radzikowska, and D. Vakarelov.
Relational Representation Theorems for Some Lattice-Based Structures.
JoRMiCS, 1:132-160, 2004.
A. Formisano, E. Omodeo, E. Orowska, and A. Policriti.
Uniform relational frameworks for modal inferences.
In: I. Düntsch and M. Winter eds.,
Proceedings of the Eighth International Conference on
Relational Methods in Computer Science (RelMiCS 8), 2005.
A. Formisano, E. G. Omodeo, M. Temperini.
Instructing Equational Set-Reasoning with Otter.
Proceedings of IJCAR 2001. LNCS 2083, pp. 152-167, Springer, 2001.
A. Formisano, E. G. Omodeo, M. Temperini.
Layered map reasoning: An experimental approach put to trial on sets.
Electr. Notes Theor. Comput. Sci., 48, Elsevier, 2001.
J. Järvinen and E. Orowska.
Relational correspondences for lattices with operators.
In: I. Düntsch and M. Winter eds.,
Proceedings of the Eighth International Conference on
Relational Methods in Computer Science (RelMiCS 8), pp. 111-118, 2005.
H. J. Ohlbach, A. Nonnengart, M. de Rijke, and D. Gabbay.
Encoding Two-Valued Nonclassical Logics in Classical Logic, In
Handbook of Automated Reasoning, vol. II, pp. 1403-1486, Elsevier, 2001.
E. Orowska.
Relational interpretation of modal logics,
In H. Andreka, D. Monk, and I. Nemeti eds.,
Algebraic Logic. Colloquia Mathematica Societatis Janos Bolyai, vol. 54,
pp. 443-471, North Holland, 1988.
E. Orowska.
Relational semantics for nonclassical logics: formulas are relations,
Philosophical Logic in Poland (J. Wolenski, ed.),
pp. 167-186. Kluwer, 1994.
E. Orowska.
Relational proof systems for modal logics,
In H. Wansing ed., Proof theory of modal logic,
Applied logic series, vol.2, pp.55-78. Kluwer, 1996.
E. Orowska and D. Vakarelov.
Lattice-based modal algebras and modal logics. In:
P. Hajek, L. Valdes, D. Westerstahl eds., Proceedings of the 12th
International Congress of Logic, Methodology and Philosophy of Science,
Oviedo, Spain, 2003, Elsevier.
R. Schmidt and U. Hustadt.
Mechanized reasoning and model generation for
extended modal logics. In H. de Swart, E. Orowska, G. Schmidt,
and M. Roubens, eds., Theory and Applications of Relational
Structures as Knowledge Instruments, Springer, LNCS
2929, pp. 38-67, 2003.