Translation Methods for Non-Classical Logics: An Overview

DOI10.1093/jigpal/1.1.69zbMath0795.03019OpenAlexW2169882082MaRDI QIDQ4291871

Hans Jürgen Ohlbach

Publication date: 15 May 1994

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/1.1.69

zbMATH Keywords

surveymodal logicscorrespondence theoryHilbert axiomsnonclassical logicstranslation into predicate logictranslation methods

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Mechanization of proofs and logical operations (03B35)

Related Items

Automated theorem proving by resolution in non-classical logics ⋮ A set-theoretic translation method for polymodal logics ⋮ Decidable and undecidable logics with a binary modality ⋮ Completeness results for two-sorted metric temporal logics ⋮ Two-sorted metric temporal logics ⋮ Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators ⋮ From Search to Computation: Redundancy Criteria and Simplification at Work ⋮ First-Order Resolution Methods for Modal Logics ⋮ Towards incorporating background theories into quantifier elimination ⋮ Deciding regular grammar logics with converse through first-order logic ⋮ EXPtime tableaux for ALC ⋮ Proof analysis in modal logic

This page was built for publication: Translation Methods for Non-Classical Logics: An Overview