The following pages link to (Q3338212):
Displaying 7 items.
- Invariant-free clausal temporal resolution (Q352974) (← links)
- Bounded linear-time temporal logic: a proof-theoretic investigation (Q764266) (← links)
- An epistemic model of logic programming (Q918192) (← links)
- Clausal resolution in a logic of rational agency (Q1606116) (← links)
- Temporal abductive reasoning about biochemical reactions (Q4586234) (← links)
- Search strategies for resolution in temporal logics (Q4647556) (← links)
- Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic (Q6067745) (← links)
