The following pages link to (Q2751373):
Displaying 9 items.
- A description logic based situation calculus (Q604908) (← links)
- A new methodology for developing deduction methods (Q1037405) (← links)
- Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators (Q1432885) (← links)
- Efficient local reductions to basic modal logic (Q2055845) (← links)
- Local is best: efficient reductions to modal logic \textsf{K} (Q2102930) (← links)
- Local reductions for the modal cube (Q2104538) (← links)
- Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support (Q2211865) (← links)
- Deciding regular grammar logics with converse through first-order logic (Q2567343) (← links)
- A Tableau Calculus for Minimal Modal Model Generation (Q2825415) (← links)
