@INPROCEEDINGS{Hustadt@MEP-KI1993,
 AUTHOR        = {Hustadt, Ullrich},
 TITLE         = {Automated Support for the Development of 
Non-Classical Logics},
 BOOKTITLE     = {Modeling Epistemic Propositions: Workshop during the 
                  17th German Conference on Artificial Intelligence (KI'93)
                  [Berlin, Germany, 13-14 September 1993]},
 EDITOR        = {B{\"u}rckert, Hans-J{\"u}rgen and Nutt, Werner},
 ADDRESS      = {Berlin, Germany},
 CYEAR         = {1993},
 CMONTH        =  sep # {13-14},
 YEAR          = {1993},
 NOTE          = {Available as DFKI Document D-93-25, DFKI, Saarbr{\"u}cken, 
                  Germany},
 PYEAR         = {1993},
 PMONTH        = dec,
 URL           = {Hustadt@MEP-KI1993.pdf},
 ABSTRACT      = {The most natural means for specifying a non-classical 
     logic is by means of a Hilbert calculus. Usually, the semantics of a 
     non-classical logic is given in terms of possible worlds. 
     Given an axiomatization of a non-classical logics,  the 
     \emph{correspondence problem} in these logics is to find for every given 
     Hilbert axiom an equivalent property of the accessibility 
     relation (van Benthem (1984)). 
     For mechanizing deduction in non-classical logics it is very 
     important to find these correspondences (Ohlbach (1991)).
     So far the method for finding the correspondences was mostly by 
     intuition and the verification required complex proofs 
     (van Benthem (1984)).
     \par
     Whereas KRIS is a single-agent knowledge representation 
     system, i. e. KRIS is only able to represent general world
     knowledge or the knowledge of one agent about the world, MOTEL is a
     multi-agent knowledge representation system. The MOTEL language allows
     modal contexts and modal concept forming operators which
     allow to represent and reason about the believes and wishes of
     multiple agents. Furthermore it is possible to represent defaults and
     stereotypes.}
}