Lightweight hybrid tableaux
From MaRDI portal
Publication:631086
DOI10.1016/j.jal.2010.08.003zbMath1228.03004OpenAlexW2035819327MaRDI 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 logichybrid logictableau calculusnominalsdecision proceduredifference modalityconverse modalityloop-check
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)
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
This page was built for publication: Lightweight hybrid tableaux