Translation Methods for Non-Classical Logics: An Overview
From MaRDI portal
Publication:4291871
DOI10.1093/jigpal/1.1.69zbMath0795.03019OpenAlexW2169882082MaRDI 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
surveymodal logicscorrespondence theoryHilbert axiomsnonclassical logicstranslation into predicate logictranslation methods
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
