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

Publications Master Template, generated: 8:04, 18 October 2019

Search the publication database

  . Return

Your search returned the following 2 documents:

  1. Harald Ganzinger, Ullrich Hustadt, Christoph Meyer, and Renate A. Schmidt
    A Resolution-Based Decision Procedure for Extensions of K4
    In: Advances in Modal Logic, Volume 2, 2001, 225-246
    [PS: Download: _01AIML.ps.gz]
  2. Renate A. Schmidt and Dmitry Tishkovsky
    Combining Dynamic Logic and Doxastic Modal Logics
    In: Advances in Modal Logic, 2003, 371-391