Translation Methods for Non-Classical Logics: An Overview

DOI10.1093/JIGPAL/1.1.69MaRDI QIDQ4291871zbMATH OpenOpenAlexFDO

Authors Hans Jürgen Ohlbach

Publication date 15 May 1994

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

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

zbMATH Keywords

correspondence theoryHilbert axiomsmodal logicsnonclassical logicssurveytranslation into predicate logictranslation methods

Mathematics Subject Classification ID

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

Recommendations

• Semantics-Based Translation Methods for Modal Logics
• scientific article; zbMATH DE number 517003
• On an automated translation of modal proof rules into formulas of the classical logic
• A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics

Cited in

(24)

• Two-sorted metric temporal logics
• Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators
• EXPtime tableaux for ALC
• Alternative translation techniques for propositional and first-order modal logics
• A set-theoretic translation method for polymodal logics
• Decidable and undecidable logics with a binary modality
• Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism
• Automated theorem proving by resolution in non-classical logics
• Translating non-classical logics into classical logic by using hidden variables
• Deciding regular grammar logics with converse through first-order logic
• Towards incorporating background theories into quantifier elimination
• Semantics-Based Translation Methods for Modal Logics
• scientific article; zbMATH DE number 1303346 (Why is no real title available?)
• On the Correspondence Between Modal and Classical Logic: an Automated Approach
• On an automated translation of modal proof rules into formulas of the classical logic
• From search to computation: redundancy criteria and simplification at work
• First-order resolution methods for modal logics
• Completeness results for two-sorted metric temporal logics
• Universal translatability: an optimality-based justification of (classical) logic
• An Environment for Specifying Properties of Dyadic Relations and Reasoning About Them II: Relational Presentation of Non-classical Logics
• Universal translatability: optimality-based justification of (not necessarily) classical logic
• Axiomatization via translation: Hiż's warning for predicate logic
• A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics
• Proof analysis in modal logic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4291871)