Gluing via colimit

• Combine logics sharing sentence structure.

• ?state + ?nondeterminism

• FOLbelief + FOLtime

• Linear arithmetic + propositional

Previous slide

Back to first slide

View graphic version