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.
-
- Attachement: MPI-I-96-2-007.ps (306 KBytes)
URL to this document: https://domino.mpi-inf.mpg.de/internet/reports.nsf/NumberView/1996-2-007
BibTeX
@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},
}