Translation Methods for Non-Classical Logics: An Overview

DOI10.1093/JIGPAL/1.1.69zbMATH Open0795.03019OpenAlexW2169882082MaRDI QIDQ4291871FDOQ4291871

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

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

survey Hilbert axioms modal logics nonclassical logics correspondence theory translation into predicate logic translation methods

Mathematics Subject Classification ID

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

Cited In (22)

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

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)