Deriving inference rules for terminological logics
Lecture notes in computer science2005pp. 84–105
Citations Over Time
Related Papers
- → On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics(2011)36 cited
- → Eight Inference Rules for Implication(2018)4 cited
- → Deep Inference in Bi-intuitionistic Logic(2009)14 cited
- → Taming Displayed Tense Logics Using Nested Sequents with Deep Inference(2009)12 cited
- Deriving Inference Rules for Description Logics: a Rewriting Approach into Sequent Calculi(1993)