The following pages link to (Q3030269):
Displaying 6 items.
- On the autoepistemic reconstruction of logic programming (Q685123) (← links)
- An intensional epistemic logic (Q687156) (← 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 tableau-like proof procedure for normal modal logics (Q1329745) (← links)
