Similar Items: Disjunctive bases: normal forms and model theory for modal logics
- Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics
- Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog
- Towards a Proof Theory of Gödel Modal Logics
- Causal Unfoldings and Disjunctive Causes
- Canonical Models and the Complexity of Modal Team Logic
- Modal meet-implication logic