Pages that link to "Item:Q1051628"
From MaRDI portal
The following pages link to A simple deduction method for modal logic (Q1051628):
Displaying 9 items.
- Automated inferencing (Q1070835) (← links)
- MOLOG: A system that extends PROLOG with modal logic (Q1079962) (← links)
- Linear strategy for propositional modal resolution (Q1113888) (← links)
- Modal resolution in clausal form (Q1118577) (← links)
- Resolution for some first-order modal systems (Q1178699) (← links)
- Some remarks on the possibility of extending resolution proof procedures to intuitionistic logic (Q1820590) (← links)
- Resolution with order and selection for hybrid logics (Q2429982) (← links)
- Talkin'bout consistency, or: When logically possible becomes possible (Q4632294) (← links)
- Resolution calculi for non-normal modal logics (Q6541160) (← links)
