The following pages link to Destructive Modal Resolution (Q5202172):
Displaying 7 items.
- A logic for reasoning with inconsistency (Q688558) (← links)
- A new methodology for developing deduction methods (Q1037405) (← links)
- A tableau-like proof procedure for normal modal logics (Q1329745) (← links)
- Tableaus for many-valued modal logic (Q1896755) (← links)
- Resolution with order and selection for hybrid logics (Q2429982) (← links)
- Temporal reasoning over linear discrete time (Q5236442) (← links)
- Resolution calculi for non-normal modal logics (Q6541160) (← links)