Translation Methods for Non-Classical Logics: An Overview
From MaRDI portal
Publication:4291871
DOI10.1093/jigpal/1.1.69zbMath0795.03019MaRDI QIDQ4291871
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
survey; modal logics; correspondence theory; Hilbert axioms; nonclassical logics; translation into predicate logic; translation methods
03B45: Modal logic (including the logic of norms)
03B60: Other nonclassical logic
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03B35: Mechanization of proofs and logical operations
Related Items
Proof analysis in modal logic, 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, A set-theoretic translation method for polymodal logics, Decidable and undecidable logics with a binary modality, Automated theorem proving by resolution in non-classical logics, Deciding regular grammar logics with converse through first-order logic, Towards incorporating background theories into quantifier elimination