Andreas Herzig, SCAN and Systems of Conditional Logic

Abstract:
The SCAN algorithm has been proposed for second order quantifier elimination. In particular it can be applied to find correspondence axioms for systems of modal logic. Up to now, what has been studied are systems with unary modal operators. In this paper we study how SCAN can be applied to various systems of conditional logic, which are logical systems with binary modal operators.
Report MPI-I-96-2-007, Max-Planck-Institut fur Informatik, Saarbrucken, September 1996 (34 pages)
Get Postscript
https://www.irit.fr/~Andreas.Herzig