The following pages link to (Q3030268):
Displaying 12 items.
- A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics (Q687153) (← links)
- An epistemic model of logic programming (Q918192) (← links)
- Resolution for some first-order modal systems (Q1178699) (← links)
- TABLEAUX: A general theorem prover for modal logics (Q1181709) (← links)
- A resolution framework for finitely-valued first-order logics (Q1185455) (← links)
- A tableau-like proof procedure for normal modal logics (Q1329745) (← links)
- Clausal resolution in a logic of rational agency (Q1606116) (← links)
- Resolution with order and selection for hybrid logics (Q2429982) (← links)
- Herbrand style proof procedures for modal logic (Q4291028) (← links)
- A translation from the modal logic of provability into K4 (Q4299137) (← links)
- Labelled proofs for quantified modal logic (Q5235254) (← links)
- Temporal reasoning over linear discrete time (Q5236442) (← links)
