A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics

DOI10.1007/BF01058389zbMath0796.03016WikidataQ124798923 ScholiaQ124798923MaRDI QIDQ687153

Michel Herment, Ricardo Caferra, Stéphane P. Demri

Publication date: 4 January 1994

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

TS4S5backwards translation of proofs into the syntax of propositional modal logicfunctional translationKK4translation of logics

Mathematics Subject Classification ID

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

Cites Work

• Strategies for modal resolution: Results and problems
• Proof methods for modal and intuitionistic logics
• The recursive resolution method for modal logic
• Modal resolution in clausal form
• Computational aspects of an order-sorted logic with term declarations
• First-order definability in modal logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics