Semantics-Based Translation Methods for Modal Logics

DOI10.1093/LOGCOM/1.5.691MaRDI QIDQ3983938zbMATH OpenOpenAlexFDO

Authors Hans Jürgen Ohlbach

Publication date 27 June 1992

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/562835677eb6b69eea3310ce1f81605cbed12046

zbMATH Keywords

resolutionautomated deductionterm rewritingKripke semanticspredicate modal logicproof searchparamodulation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)

Recommendations

• Translation Methods for Non-Classical Logics: An Overview
• scientific article; zbMATH DE number 517003
• On the Correspondence Between Modal and Classical Logic: an Automated Approach
• scientific article; zbMATH DE number 3877148
• On an automated translation of modal proof rules into formulas of the classical logic

Cited in

(36)

• A note on assumptions about Skolem functions
• scientific article; zbMATH DE number 517003 (Why is no real title available?)
• Identity in modal logic theorem proving
• Translations and similarity-based logic programming
• Deciding intuitionistic propositional logic via translation into classical logic
• Simulation and synthesis of deduction calculi
• scientific article; zbMATH DE number 5295715 (Why is no real title available?)
• Labelling ideality and subideality
• Representing scope in intuitionistic deductions
• The first-order theory of linear one-step rewriting is undecidable
• Modal languages and bounded fragments of predicate logic
• Modal logic S5 satisfiability in answer set programming
• SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation
• Indexed systems of sequents and cut-elimination
• Belief revision in non-classical logics
• Programming in metric temporal logic
• Multimodal logic programming using equational and order-sorted logic
• Regression in modal logic
• Resolution-based calculi for modal and temporal logics
• Best solving modal equations
• Unification theory
• A tableau-like proof procedure for normal modal logics
• A multi-dimensional terminological knowledge representation language
• Swinging types=functions+relations+transition systems
• Planning from second principles
• A set-theoretic translation method for polymodal logics
• Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics
• Modal translations in substructural logics
• First-order resolution methods for modal logics
• Solving quantified modal logic problems by translation to classical logics
• Counterpart theories for everyone
• Microcomputer translator for medical text: Theorem verification for chapter two of Zeman's modal logic
• Translation-Based Revision and Merging for Minimal Horn Reasoning.
• Resolution calculi for non-normal modal logics
• Labelled proofs for quantified modal logic
• On the Correspondence Between Modal and Classical Logic: an Automated Approach

This page was built for publication: Semantics-Based Translation Methods for Modal Logics

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