Database Entry Point
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template, generated: 23:54, 20 January 2020

Search the publication database

  . Return

Your search returned the following 2 documents:

  1. Hans J├╝rgen Ohlbach, Renate A. Schmidt, and Ullrich Hustadt
    Translating Graded Modalities into Predicate Logic
    In: Proof Theory of Modal Logic, 1996, 253-291. Note: Also available as Research Report MPI-I-95-2-008
  2. Renate A. Schmidt
    Resolution is a Decision Procedure for Many Propositional Modal Logics
    In: Advances in Modal Logic, Volume 1, 1998, 189-208