Clausal Graph Tableaux for Hybrid Logic with Eventualities and Difference
From MaRDI portal
Publication:4933321
DOI10.1007/978-3-642-16242-8_30zbMath1307.03013MaRDI QIDQ4933321
Publication date: 12 October 2010
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-16242-8_30
03B45: Modal logic (including the logic of norms)
03B25: Decidability of theories and sets of sentences
03B35: Mechanization of proofs and logical operations
Related Items
Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures for Modal and Hybrid Logics