MPI-INF Logo
MPI-INF/SWS Research Reports 1991-2017

2. Number - only D2

MPI-I-96-2-007

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.

  • MPI-I-96-2-007.ps
  • Attachement: MPI-I-96-2-007.ps (306 KBytes)

URL to this document: http://domino.mpi-inf.mpg.de/internet/reports.nsf/NumberView/1996-2-007

Hide details for BibTeXBibTeX
@TECHREPORT{Herzig96,
  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},
}