The following pages link to (Q3682464):
Displayed 6 items.
- Temporal logic programming (Q582280) (← links)
- Concerning the semantic consequence relation in first-order temporal logic (Q1090673) (← links)
- Modal resolution in clausal form (Q1118577) (← links)
- Resolution for some first-order modal systems (Q1178699) (← links)
- A tableau-like proof procedure for normal modal logics (Q1329745) (← links)
- Planning temporal events using point-interval logic (Q2473196) (← links)