Lightweight hybrid tableaux
From MaRDI portal
Publication:631086
DOI10.1016/j.jal.2010.08.003zbMath1228.03004MaRDI QIDQ631086
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
modal logic; hybrid logic; tableau calculus; nominals; decision procedure; difference modality; converse modality; loop-check
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
Uses Software
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