Compositionality via Cut-Elimination: Hennessy-Milner Logic for an Arbitrary GSOS

Alex K. Simpson

Published in: LICS (1995)

Keyphrases

cut elimination
sequent calculus
linear logic
natural deduction
wide class
inference rules
proof theoretic
sequent calculi
sufficient conditions
modal logic
linear time temporal logic
intuitionistic logic
proof search
fixed point
machine learning
desirable properties
logic programming
classical logic