Functional translation and second-order frame properties of modal logics

DOI10.1093/LOGCOM/7.5.581MaRDI QIDQ4365320zbMATH OpenOpenAlexFDO

Authors Renate A. Schmidt, Hans Jürgen Ohlbach

Publication date 25 November 2001

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

Full work available at URL http://hdl.handle.net/11858/00-001M-0000-0014-A1C9-C

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 517003
• Alternative translation techniques for propositional and first-order modal logics
• The axiomatic translation principle for modal logic
• scientific article; zbMATH DE number 847937
• Unsorted functional translations

Cited in

(19)

• Solving the \$100 modal logic challenge
• Alternative translation techniques for propositional and first-order modal logics
• Algorithmic correspondence and canonicity for non-distributive logics
• A prover dealing with nominals, binders, transitivity and relation hierarchies
• Algebraic modal correspondence: Sahlqvist and beyond
• Counterpart theories for everyone
• Unsorted functional translations
• Simulation and synthesis of deduction calculi
• Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics
• An empirical analysis of modal theorem provers
• Sahlqvist via translation
• scientific article; zbMATH DE number 757636 (Why is no real title available?)
• scientific article; zbMATH DE number 847937 (Why is no real title available?)
• First-order resolution methods for modal logics
• Modal Satisfiability via SMT Solving
• The axiomatic translation principle for modal logic
• scientific article; zbMATH DE number 970636 (Why is no real title available?)
• A principle for incorporating axioms into the first-order translation of modal formulae.
• Connection calculus theorem proving with multiple built-in theories

This page was built for publication: Functional translation and second-order frame properties of modal logics

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