The following pages link to (Q5626600):
Displayed 6 items.
- Temporal reference in linear tense logic (Q965860) (← links)
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- Predicate metric tense logic for `now' and `then' (Q1947028) (← links)
- First-Order Resolution Methods for Modal Logics (Q4916086) (← links)
- Goals and benchmarks for automated map reasoning (Q5927984) (← links)
- Logic, logics, and logicism (Q5937844) (← links)