Semantics of templates in a compositional framework for building logics.

Ingmar Dasseville Matthias van der Hallen Gerda Janssens Marc Denecker

Published in: CoRR (2015)

Keyphrases

logical framework
main contribution
epistemic logic
database
information systems
lightweight
semantic information
default reasoning
proof theory
proof theoretic
intuitionistic logic