Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

MPI-I-96-2-007

SCAN and systems of conditional logic

Herzig, Andreas

MPI-I-96-2-007. September 1996, 33 pages. | Status: available - back from printing | Next --> Entry | Previous <-- Entry

Abstract in LaTeX format:
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.
Acknowledgement:
References to related material:

To download this research report, please select the type of document that fits best your needs.Attachement Size(s):
MPI-I-96-2-007.ps306 KBytes
Please note: If you don't have a viewer for PostScript on your platform, try to install GhostScript and GhostView
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},
}