SCAN and systems of conditional logic

Herzig, Andreas

Item

ITEM ACTIONSEXPORT

Add to Basket

Local TagsRelease HistoryDetailsSummary

Released

Report

SCAN and systems of conditional logic

MPS-Authors

/persons/resource/persons44617

Herzig, Andreas
Programming Logics, MPI for Informatics, Max Planck Society;

External Resource

No external resources are shared

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

Fulltext (public)

MPI-I-96-2-007.pdf
(Any fulltext), 329KB

Supplementary Material (public)

There is no public supplementary material available

Citation

Herzig, A.(1996). SCAN and systems of conditional logic (MPI-I-1996-2-007). Saarbrücken: Max-Planck-Institut für Informatik.

Cite as: https://hdl.handle.net/11858/00-001M-0000-0014-9FE2-0

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. 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.