The following pages link to (Q2751373):
Displaying 12 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)
- DKAL and Z3: A Logic Embedding Experiment (Q3586018) (← links)
- Separation logics and modalities: a survey (Q4586138) (← links)
- First-Order Resolution Methods for Modal Logics (Q4916086) (← links)
