Clausal Graph Tableaux for Hybrid Logic with Eventualities and Difference

DOI10.1007/978-3-642-16242-8_30zbMath1307.03013OpenAlexW1484100443MaRDI QIDQ4933321

Gert Smolka, Mark Kaminski

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

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)

Related Items (1)

Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures for Modal and Hybrid Logics

This page was built for publication: Clausal Graph Tableaux for Hybrid Logic with Eventualities and Difference