Pages that link to "Item:Q920970"
From MaRDI portal
The following pages link to Strategies for modal resolution: Results and problems (Q920970):
Displaying 14 items.
- A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics (Q687153) (← links)
- Solving the \$100 modal logic challenge (Q1006738) (← links)
- MOLOG: A system that extends PROLOG with modal logic (Q1079962) (← links)
- Multimodal logic programming using equational and order-sorted logic (Q1199813) (← links)
- Proof methods for reasoning about possibility and necessity (Q1310399) (← links)
- The computational complexity of the satisfiability of modal Horn clauses for modal propositional logics (Q1329742) (← links)
- A tableau-like proof procedure for normal modal logics (Q1329745) (← links)
- Resolution theorem proving in reified modal logics (Q1332644) (← links)
- Basic research problems: The problem of strategy and hyperresolution (Q1332645) (← links)
- Resolution with order and selection for hybrid logics (Q2429982) (← links)
- Modal Theorem Proving: An Equational Viewpoint (Q4018166) (← links)
- Uniform and non uniform strategies for tableaux calculi for modal logics (Q4835516) (← links)
- Modal Logic S5 Satisfiability in Answer Set Programming (Q5019595) (← links)
- Temporal representation and reasoning in artificial intelligence: A review (Q5943344) (← links)