Unsorted functional translations

DOI10.1016/J.ENTCS.2011.10.002zbMATH Open1347.03037OpenAlexW1976699340WikidataQ113318207 ScholiaQ113318207MaRDI QIDQ2825403FDOQ2825403

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

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

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)

Cites Work

• Title not available (Why is that?)
• Combining superposition, sorts and splitting
• An empirical analysis of modal theorem provers
• Title not available (Why is that?)
• System Description: Spass Version 3.0
• Resolution Strategies as Decision Procedures
• Title not available (Why is that?)
• Decidability by resolution for propositional modal logics
• Functional translation and second-order frame properties of modal logics
• Modal Theorem Proving: An Equational Viewpoint
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (2)

• Title not available (Why is that?)
• A prover dealing with nominals, binders, transitivity and relation hierarchies

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)