Lightweight hybrid tableaux

DOI10.1016/J.JAL.2010.08.003zbMath1228.03004OpenAlexW2035819327MaRDI QIDQ631086

Guillaume Hoffmann

Publication date: 22 March 2011

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2010.08.003

zbMATH Keywords

modal logichybrid logictableau calculusnominalsdecision proceduredifference modalityconverse modalityloop-check

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)

A goal-directed decision procedure for hybrid PDL

Uses Software

• KL-ONE

Cites Work

• Unnamed Item
• Terminating tableau systems for hybrid logic with difference and converse
• Optimizing terminological reasoning for expressive description logics
• A description logic with transitive and inverse roles and role hierarchies
• Hybrid Tableaux for the Difference Modality
• Termination for Hybrid Tableaus
• An overview of tableau algorithms for description logics

This page was built for publication: Lightweight hybrid tableaux