MPI-INF/SWS Research Reports 1991-2021

2. Number - All Departments


SCAN and systems of conditional logic

Herzig, Andreas

September 1996, 33 pages.

Status: available - back from printing

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. 17 In this paper we study how SCAN can be applied to various systems of conditional logic, which are logical systems with binary modal operators.

  • Attachement: (306 KBytes)

URL to this document:

Hide details for BibTeXBibTeX
  AUTHOR = {Herzig, Andreas},
  TITLE = {{SCAN} and systems of conditional logic},
  TYPE = {Research Report},
  INSTITUTION = {Max-Planck-Institut f{\"u}r Informatik},
  ADDRESS = {Im Stadtwald, D-66123 Saarbr{\"u}cken, Germany},
  NUMBER = {MPI-I-96-2-007},
  MONTH = {September},
  YEAR = {1996},
  ISSN = {0946-011X},