Pages that link to "Item:Q1104915"
From MaRDI portal
The following pages link to The recursive resolution method for modal logic (Q1104915):
Displaying 4 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)
- A resolution framework for finitely-valued first-order logics (Q1185455) (← links)
- Resolution calculi for non-normal modal logics (Q6541160) (← links)
