Pages that link to "Item:Q1178699"
From MaRDI portal
The following pages link to Resolution for some first-order modal systems (Q1178699):
Displaying 10 items.
- First-order intensional logic (Q598308) (← links)
- Strategies for modal resolution: Results and problems (Q920970) (← links)
- \(T\)-resolution: Refinements and model elimination (Q1284706) (← links)
- Labelled resolution for classical and non-classical logics (Q1372359) (← links)
- Some remarks on the possibility of extending resolution proof procedures to intuitionistic logic (Q1820590) (← links)
- The resolution method for one reducible class of formulas of the first-order modal logic S4. (Q2487862) (← links)
- A note on resolutions mod i (Q4216818) (← links)
- Herbrand style proof procedures for modal logic (Q4291028) (← links)
- Destructive Modal Resolution (Q5202172) (← links)
- Resolution calculi for non-normal modal logics (Q6541160) (← links)