Unsorted functional translations

DOI10.1016/J.ENTCS.2011.10.002MaRDI QIDQ2825403zbMATH OpenOpenAlexWikidataFDO

Authors Carlos Areces, Daniel Gorín

Publication date 7 October 2016

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2011.10.002

zbMATH Keywords

automated theorem provingsortsfunctional translation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35) Logic in computer science (03B70)

Recommendations

• Functional translation and second-order frame properties of modal logics
• scientific article; zbMATH DE number 517003
• Publication:4866982
• Many-sorted hybrid modal languages
• Transfer Results for Hybrid Logic. Part I: The Case Without Satisfaction Operators

Cites work

• scientific article; zbMATH DE number 4150119 (Why is no real title available?)
• scientific article; zbMATH DE number 4164168 (Why is no real title available?)
• scientific article; zbMATH DE number 4055570 (Why is no real title available?)
• scientific article; zbMATH DE number 4066840 (Why is no real title available?)
• scientific article; zbMATH DE number 67963 (Why is no real title available?)
• scientific article; zbMATH DE number 3508462 (Why is no real title available?)
• An empirical analysis of modal theorem provers
• Combining superposition, sorts and splitting
• Decidability by resolution for propositional modal logics
• Functional translation and second-order frame properties of modal logics
• Modal Theorem Proving: An Equational Viewpoint
• Resolution Strategies as Decision Procedures
• System Description: Spass Version 3.0

Cited in

(2)

• scientific article; zbMATH DE number 847937 (Why is no real title available?)
• A prover dealing with nominals, binders, transitivity and relation hierarchies

Describes a project that uses

Uses Software

• SPASS

This page was built for publication: Unsorted functional translations

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