Max-planck-institut F Ur Informatik Functional Translation and Second-order Frame Properties of Modal Logics K I N F O R M a T I K Authors' Addresses Publication Notes

  • OhlbachRenate A. SchmidtMPI
  • Published 1995
Normal modal logics can be de ned axiomatically as Hilbert systems, or semantically in terms of Kripke's possible worlds and accessibility relations. Unfortunately there are Hilbert axioms which do not have corresponding rst-order properties for the accessibility relation. For these logics the standard semanticsbased theorem proving techniques, in… CONTINUE READING