Higher-Order Syntax and Saturation Algorithms for Hybrid Logic
From MaRDI portal
Publication:2867945
DOI10.1016/j.entcs.2006.11.023zbMath1278.03042MaRDI QIDQ2867945
Publication date: 20 December 2013
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.2006.11.023
Related Items
Hybrid Tableaux for the Difference Modality, Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse
Cites Work