The following pages link to GENERAL DYNAMICS (Q3986890):
Displaying 8 items.
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- Sequence semantics for dynamic predicate logic (Q1314278) (← links)
- Dynamic semantics and circular propositions (Q1325775) (← links)
- Reasoning about update logic (Q1344850) (← links)
- Presupposition failure - a comedy of errors (Q1346767) (← links)
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
- Merging without mystery or: Variables in dynamics semantics (Q1896789) (← links)
- Dynamic Epistemic Logic as a Substructural Logic (Q5249692) (← links)