Experiments in theorem proving for topological hybrid logic

DOI10.1016/J.ENTCS.2009.02.043MaRDI QIDQ4982128zbMATH OpenOpenAlexFDO

Authors Dmitry Sustretov, Guillaume Hoffmann, Carlos Areces, Patrick Blackburn

Publication date 23 March 2015

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.2009.02.043

zbMATH Keywords

hybrid logictheorem provingtopological semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Combined logics (03B62)

Recommendations

• Topological perspective on the hybrid proof rules
• Herod and Pilate: two tableau provers for basic hybrid logic
• On two approaches to modal theorem proving
• Algebraic Methodology and Software Technology
• HTab: a terminating tableaux system for hybrid logic

Cites work

• Modal logics of domains on the real plane
• Reasoning About Space: The Modal Way
• Representation, reasoning, and relational structures: a hybrid logic manifesto
• Termination for Hybrid Tableaus
• The algebra of topology
• The computational complexity of hybrid temporal logics

Cited in

(2)

• Topological perspective on the hybrid proof rules
• HyLoBan

Describes a project that uses

Uses Software

• GHC
• HTab
• HyLoTab

This page was built for publication: Experiments in theorem proving for topological hybrid logic

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