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

Publications Master Template, generated: 0:21, 24 January 2020

Search the publication database

  . Return

Your search returned the following document:

  1. Renate A. Schmidt
    Resolution is a Decision Procedure for Many Propositional Modal Logics
    In: Advances in Modal Logic, Volume 1, 1998, 189-208