Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies
From MaRDI portal
Publication:5892513
DOI10.2168/LMCS-7(1:5)2011zbMath1218.03009MaRDI QIDQ5892513
Sigurd Schneider, Mark Kaminski, Gert Smolka
Publication date: 26 May 2011
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)
Related Items
Model-checking graded computation-tree logic with finite path semantics ⋮ A prover dealing with nominals, binders, transitivity and relation hierarchies ⋮ Extended decision procedure for a fragment of HL with binders
Uses Software