Composition-Nominative Logics as Institutions.

Alexey Chentsov Mykola S. Nikitchenko

Published in: Logica Universalis (2018)

Keyphrases

expressive power
web service composition
modal logic
neural network
knowledge representation
higher order
conditional logic
web services composition
proof theory
financial institutions
academic institutions
proof theoretic