Pages that link to "Item:Q1104915"
From MaRDI portal
The following pages link to The recursive resolution method for modal logic (Q1104915):
Displaying 9 items.
- A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics (Q687153) (← links)
- MOLOG: A system that extends PROLOG with modal logic (Q1079962) (← links)
- Linear strategy for propositional modal resolution (Q1113888) (← links)
- A resolution framework for finitely-valued first-order logics (Q1185455) (← links)
- A tableau-like proof procedure for normal modal logics (Q1329745) (← links)
- (Q3509041) (← links)
- Resolution-based methods for modal logics (Q4487263) (← links)
- Modal Resolution (Q4972162) (← links)
- Resolution calculi for non-normal modal logics (Q6541160) (← links)