- Encoding two-valued non-classical logics in classical logic
- Functional Translation and Second-Order Frame Properties of Modal Logics
- Translating Graded Modalities into Predicate Logic
- Translation Methods for Non-Classical Logics -- An Overview
- Semantics Based Translation Methods for Modal Logics

**Encoding two-valued non-classical logics in
classical logic**

*Hans Jürgen Ohlbach, Andreas Nonnengart, Maarten de Rijke and
Dov Gabbay*

This paper will appear in the Handbook of Automated Reasoning

uncompressed files | PostScript (1.0M) | PDF (751K) |

compressed files | PostScript (257K) | PDF (559K) |

uncompressed files | dvi (181K) | PostScript (450K) | PDF (458K) | bib |

compressed files | dvi ( 61K) | PostScript (157K) | PDF (343K) |

**Translation Methods for Non-Classical Logics -- An Overview**

*Hans Jürgen Ohlbach*

uncompressed files | dvi ( 91K) | PostScript (285K) | PDF (181K) | bib |

compressed files | dvi ( 37K) | PostScript (110K) | PDF (162K) |

**Semantics Based Translation Methods for Modal Logics**

*Hans Jürgen Ohlbach*

uncompressed files | PostScript (1.0M) | PDF (215K) | bib |

compressed files | PostScript (169K) | PDF (196K) |