de.mpg.escidoc.pubman.appbase.FacesBean
English
 
Help Guide Disclaimer Contact us Login
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT

Released

Report

SCAN and systems of conditional logic

MPS-Authors
http://pubman.mpdl.mpg.de/cone/persons/resource/persons44617

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

Locator
There are no locators available
Fulltext (public)

1996-2-007
(Any fulltext), 10KB

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: http://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.